Skip to main content
SpringerLink
Log in

Independence results for uncountable superstable theories

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

We prove that the following statement is independent of ZFC+┐CH: IFT is a superstable theory of power <2ℵ 0,M≰N are models ofT withQ(M)=Q(N), then there isN′≱N withQ(N)=Q(N′). This generalizes Lachlan’s (1972) result.

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. J. T. Baldwin,Conservative extensions and the two-cardinal theorem for stable theories, Fund. Math.88 (1975), 7–9.

    MATH  MathSciNet  Google Scholar 

  2. V. Harnik,A two-cardinal theorem for sets of formulas in a stable theory, Isr. J. Math.21 (1975), 7–23.

    MATH  MathSciNet  Google Scholar 

  3. K. Kunen,Random and Cohen reals, inHandbook of Set-theoretical Topology (K. Kunen and J. E. Vaughan, eds.), North-Holland, Amsterdam, 1984, pp. 887–911.

    Google Scholar 

  4. A. H. Lachlan,A property of stable theories, Fund. Math.77 (1972), 9–20.

    MATH  MathSciNet  Google Scholar 

  5. D. Lascar,Types définissible et produit de types, C.R. Acad. Sci. Paris276 (1973), 1253–1256.

    MATH  MathSciNet  Google Scholar 

  6. A. W. Miller, Covering 2ω with ω1 disjoint closed sets, The Kleene Symp. Proc. Symp. Univ. Wisconsin, 1978, Studies in Logic and Found. Math.101, North-Holland, Amsterdam, 1980, pp. 415–421.

    Google Scholar 

  7. A. W. Miller,Some properties of measure and category, Trans. Am. Math. Soc.266 (1981), 93–114.

    Article  MATH  Google Scholar 

  8. L. Newelski,On partitions of the real line into compact sets, J. Symb. Logic52 (1987), 353–359.

    Article  MATH  MathSciNet  Google Scholar 

  9. S. Shelah,Classification Theory, North-Holland, Amsterdam, 1978.

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Mathematical Institute of the Polish Academy of Sciences, Kopernika 18, 51-617, Wroclaw, Poland

    Ludomir Newelski

Authors
  1. Ludomir Newelski
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Newelski, L. Independence results for uncountable superstable theories. Israel J. Math. 65, 59–78 (1989). https://doi.org/10.1007/BF02788174

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02788174

Keywords

Search

Navigation