Skip to main content
SpringerLink
Log in

Theories with constants and three countable models

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

Abstract

We prove that a countable, complete, first-order theory with infinite dcl(\( \theta \)) and precisely three non-isomorphic countable models interprets a variant of Ehrenfeucht’s or Peretyatkin’s example.

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. Ikeda K., Pillay A. and Tsuboi A. (1998). On theories having three countable models. Math. Log. Quart. 44: 161–166

    MATH  MathSciNet  Google Scholar 

  2. Newelski L. (1994). Meager forking. Ann. Pure Appl. Log. 70: 141–175

    Article  MATH  MathSciNet  Google Scholar 

  3. Peretyatkin M.G. (1973). On complete theories with a finite number of countable models (in Russian). Algebra Log. 12: 550–576

    Google Scholar 

  4. Peretyatkin M.G. (1980). On theories with three countable models (in Russian). Algebra Log. 19: 224–235

    MathSciNet  Google Scholar 

  5. Pillay A. (1980). Theories with exactly three countable models and theories with algebraic prime models. J. Symbolic Log. 45: 302–310

    Article  MATH  MathSciNet  Google Scholar 

  6. Pillay A. (1983). Countable models of stable theories. Proc. Am. Math. Soc. 89: 666–672

    Article  MATH  MathSciNet  Google Scholar 

  7. Tanović, P.: Fundamental Order and the Number of Countable Models. PhD Thesis, McGill University (1993)

  8. Tanović P. (2001). On the number of countable models of stable theories. Fund. Math. 169: 139–144

    Article  MathSciNet  MATH  Google Scholar 

  9. Tanović P. (2006). On constants and the strict order property. Arch. Math. Log. 45: 423–430

    Article  MATH  Google Scholar 

  10. Vaught, R.L.: Denumerable models of complete theories. In: Infinitistic Methods. Proceedings of the Symposium on Foundations of Mathematics. Panstwowe Wydawnictvo Naukowe, pp. 303–321 (1961)

  11. Woodrow R.E. (1978). Theories with a finite number of countable models. J. Symbolic Log. 43: 442–455

    Article  MATH  MathSciNet  Google Scholar 

  12. Woodrow R.E. (1976). A note on countable complete theories having three isomorphism types of countable models. J. Symbolic Log. 41: 672–680

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Matematički Institut SANU, Knez Mihajlova 35, 11001, Beograd, Serbia

    Predrag Tanović

Authors
  1. Predrag Tanović
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Predrag Tanović.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Tanović, P. Theories with constants and three countable models. Arch. Math. Logic 46, 517–527 (2007). https://doi.org/10.1007/s00153-007-0054-2

Download citation

  • Received:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-007-0054-2

Mathematics Subject Classification (1991)

Search

Navigation