Beyersdorff, O (2009) Comparing axiomatizations of free pseudospaces. Archive for Mathematical Logic, 48 (7). 625 - 641 . ISSN 0933-5846Full text available as:
Available under licence : See the attached licence file.
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.
|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|