White Rose University Consortium logo
University of Leeds logo University of Sheffield logo York University logo

Comparing axiomatizations of free pseudospaces

Beyersdorff, O (2009) Comparing axiomatizations of free pseudospaces. Archive for Mathematical Logic, 48 (7). 625 - 641 . ISSN 0933-5846

Available under licence : See the attached licence file.

Download (205Kb)


Independently and pursuing different aims, Hrushovski and Srour (On stable non-equational theories. Unpublished manuscript, 1989) and Baudisch and Pillay (J Symb Log 65(1):443–460, 2000) have introduced two free pseudospaces that generalize the well know concept of Lachlan’s free pseudoplane. In this paper we investigate the relationship between these free pseudospaces, proving in particular, that the pseudospace of Baudisch and Pillay is a reduct of the pseudospace of Hrushovski and Srour.

Item Type: Article
Copyright, Publisher and Additional Information: © 2009, Springer Verlag. This is an author produced version of a paper published in Archive for Mathematical Logic. Uploaded in accordance with the publisher's self-archiving policy. The original publication is available at www.springerlink.com
Keywords: Free pseudoplane, Free pseudospace, Stable theories, Equational theories
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 19 Jul 2012 11:33
Last Modified: 13 Jun 2014 17:57
Published Version: http://dx.doi.org/10.1007/s00153-009-0140-8
Status: Published
Publisher: Springer Verlag
Identification Number: 10.1007/s00153-009-0140-8
URI: http://eprints.whiterose.ac.uk/id/eprint/74435

Actions (repository staff only: login required)