Skip to main content
SpringerLink
Log in

Model completeness for trivial, uncountably categorical theories of Morley rank 1

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

Abstract

We show that if T is a trivial uncountably categorical theory of Morley Rank 1 then T is model complete after naming constants for a model.

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.

Similar content being viewed by others

References

  1. Buechler S. (1996) Essential Stability Theory. Springer-Verlag, Berlin Heidelberg New York

    MATH  Google Scholar 

  2. Goncharov S., Harizanov V., Laskowski M., Lempp S., McCoy C. (2003) Trivial strongly minimal theories are model complete after naming constants. Proc. Am. Math. Soc. 131, 3901–3912

    Article  MATH  MathSciNet  Google Scholar 

  3. Marker D. (1989) Non Σ n axiomatizable almost strongly minimal theories. J. Symb. Log. 54, 921–927

    Article  MATH  MathSciNet  Google Scholar 

  4. Pillay A. (1996) Geometric Stability Theory. Clarendon Press, Oxford

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, McMaster University, Hamilton, L8S 4K1, ON, Canada

    Alfred Dolich

  2. Department of Mathematics, University of Maryland, College Park, 20742, MD, USA

    Michael C. Laskowski

  3. Department of Computer Science, University of Auckland, Private Bag 92019, Auckland, New Zealand

    Alexander Raichev

Authors
  1. Alfred Dolich
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael C. Laskowski
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alexander Raichev
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alfred Dolich.

Additional information

The second author was partially supported by NSF grant DMS-0300080.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dolich, A., Laskowski, M.C. & Raichev, A. Model completeness for trivial, uncountably categorical theories of Morley rank 1. Arch. Math. Logic 45, 931–945 (2006). https://doi.org/10.1007/s00153-006-0019-x

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-006-0019-x

Keywords

Search

Navigation