Skip to main content
SpringerLink
Log in

Comparing axiomatizations of free pseudospaces

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Baudisch A., Pillay A.: A free pseudospace. J. Symb. Log. 65(1), 443–460 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  2. Beyersdorff, O.: Konstruktion einer stabilen, nicht äquationalen Theorie. Diploma thesis, Humboldt University Berlin (2000)

  3. Hrushovski, E., Srour, G.: On stable non-equational theories. Unpublished manuscript (1989)

  4. Hrushovski, U., Pillay, A.: Weakly normal groups. In: Logic Colloquium ’85, pp. 233–244. North Holland, Amsterdam (1985)

  5. Junker M.: A note on equational theories. J. Symb. Log. 65(4), 1705–1712 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  6. Junker M., Kraus I.: Theories with equational forking. J. Symb. Log. 67(1), 326–340 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  7. Junker M., Lascar D.: The indiscernible topology: a mock Zariski topology. J. Math. Log. 1(1), 99–124 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  8. Lachlan A.H.: Two conjectures regarding the stability of ω-categorical theories. Fundam. Math. 81, 133–145 (1974)

    MATH  MathSciNet  Google Scholar 

  9. Pillay A.: A note on CM-triviality and the geometry of forking. J. Symb. Log. 65(1), 474–480 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  10. Pillay A., Srour G.: Closed sets and chain conditions in stable theories. J. Symb. Log. 49(4), 1350–1362 (1984)

    Article  MATH  MathSciNet  Google Scholar 

  11. Sela, Z.: Diophantine geometry over groups VIII: Stability. (2009, preprint)

  12. Srour G.: The notion of independence in categories of algebraic structures, part i. Ann. Pure Appl. Log. 38, 185–213 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  13. Srour G.: The notion of independence in categories of algebraic structures, part ii. Ann. Pure Appl. Log. 39, 55–73 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  14. Srour G.: The notion of independence in categories of algebraic structures, part iii. Ann. Pure Appl. Log. 47, 269–294 (1990)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Theoretische Informatik, Leibniz-Universität Hannover, Hannover, Germany

    Olaf Beyersdorff

Authors
  1. Olaf Beyersdorff
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Olaf Beyersdorff.

Additional information

This work was done while at Humboldt University Berlin and was supported in part by DFG grant KO 1053/5-1.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Beyersdorff, O. Comparing axiomatizations of free pseudospaces. Arch. Math. Logic 48, 625–641 (2009). https://doi.org/10.1007/s00153-009-0140-8

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-009-0140-8

Keywords

Mathematics Subject Classification (2000)

Search

Navigation