Comparing axiomatizations of free pseudospaces

Archive for Mathematical Logic 48 (7):625-641 (2009)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s00153-009-0140-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Directed free pseudospaces.Romain Grunert - 2010 - Journal of Symbolic Logic 75 (4):1176-1198.
A note on equational theories.Markus Junker - 2000 - Journal of Symbolic Logic 65 (4):1705-1712.
The free pseudospace is n-ample, but not -ample.Katrin Tent - 2014 - Journal of Symbolic Logic 79 (2):410-428.
A free pseudospace.Andreas Baudisch & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):443-460.
A Note on Generic Projective Planes.Koichiro Ikeda - 2002 - Notre Dame Journal of Formal Logic 43 (4):249-254.
Model theory, Keisler measures, and groups - Ehud Hrushovski, Ya’acov Peterzil and Anand Pillay, Groups, measures, and the NIP. Journal of the American Mathematical Society, vol. 21 , no. 2, pp. 563–596. - Ehud Hrushovski and Anand Pillay, On NIP and invariant measures. Journal of the European Mathematical Society, vol.13 , no. 4, pp. 1005–1061. - Ehud Hrushovski, Anand Pillay, and Pierre Simon, Generically stable and smooth measures in NIP theories. Transactions of the American Mathematical Society, vol. 365 , no. 5, pp. 2341–2366. [REVIEW]Artem Chernikov - 2018 - Bulletin of Symbolic Logic 24 (3):336-339.
Semi-Equational Theories.Artem Chernikov & Alex Mennen - forthcoming - Journal of Symbolic Logic:1-32.
Theories with equational forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
For everyn, then-freely generated algebra is not functionally free in the equational class of diagonalizable algebras.Franco Montagna - 1975 - Studia Logica 34 (4):315 - 319.
Combining equational theories sharing non-collapse-free constructors.Franz Baader & Cesare Tinelli - 2000 - In Dov M. Gabbay & Maarten de Rijke (eds.), Frontiers of combining systems 2. Philadelphia, PA: Research Studies Press. pp. 260--274.

Analytics

Added to PP
2013-11-23

Downloads
36 (#628,835)

6 months
11 (#348,792)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A note on CM-Triviality and the geometry of forking.Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):474-480.
Closed sets and chain conditions in stable theories.Anand Pillay & Gabriel Srour - 1984 - Journal of Symbolic Logic 49 (4):1350-1362.
A free pseudospace.Andreas Baudisch & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):443-460.

View all 10 references / Add more references