Comparing axiomatizations of free pseudospaces

Abstract

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.

Metadata

Authors/Creators:	Beyersdorff, O
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
Dates:	Published: October 2009
Institution:	The University of Leeds
Academic Units:	The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Computing (Leeds)
Depositing User:	Symplectic Publications
Date Deposited:	19 Jul 2012 11:33
Last Modified:	15 Nov 2016 19:51
Published Version:	http://dx.doi.org/10.1007/s00153-009-0140-8
Status:	Published
Publisher:	Springer Verlag
Identification Number:	https://doi.org/10.1007/s00153-009-0140-8

CORE (COnnecting REpositories)

Comparing axiomatizations of free pseudospaces

Abstract

Metadata

Download

pseudo_journal_2nd_rev

Export

Statistics