[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ Skip to main content
Springer Nature Link
Log in

Totally non-proper ordinals beyond L(V λ+1)

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

Abstract

In recent work Woodin has defined new axioms stronger than I0 (the existence of an elementary embedding j from L(V λ+1) to itself), that involve elementary embeddings between slightly larger models. There is a natural correspondence between I0 and determinacy, but to extend this correspondence in this new framework we must insist that these elementary embeddings are proper. While at first this seemed to be a common property, in this paper will be provided a model in which all such elementary embeddings are not proper. This result fills a gap in a theorem by Woodin and justifies the definition of properness.

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

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
£29.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price includes VAT (United Kingdom)

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Kafkoulis G.: Coding lemmata in L(V λ+1). Arch. Math. Logic 43, 193–213 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  2. Kanamori A.: The Higher Infinite. Springer, Berlin (1994)

    MATH  Google Scholar 

  3. Kunen K.: Elementary embeddings and infinite combinatorics. J. Symb. Logic 3, 407–413 (1971)

    Article  MathSciNet  Google Scholar 

  4. Moschovakis, Y.N.: Descriptive set theory. In: Volume 100 of Studies in Logic and the Foundations of Mathematics. North Holland, Amsterdam–New York (1980)

  5. Moschovakis, Y.N.: Determinacy and prewellorderings of the Continuum. In: Mathematical Logic and Foundations of Set Theory (Proc. Internat. Colloq., Jerusalem, 1968). pp. 24–62. North Holland, Amsterdam (1970)

  6. Solovay, R.M.: The Independence of DC from AD. Cabal Seminar 76–77: Proceedings, Caltech-UCLA Logic Seminar 1976–77. Springer, Berlin (1978)

  7. Steel, J.R.: Long games. In: Cabal Seminar 81–85: Proceedings, Caltech-UCLA Logic Seminar 1981–1985. Springer, Berlin (1988)

  8. Woodin, H.: An AD-like axiom. Unpublished

  9. Woodin, H.: Suitable extender sequences. Unpublished

Download references

Author information

Authors and Affiliations

  1. Kurt Gödel Research Center, Währinger Straße 25, 1090, Wien, Austria

    Vincenzo Dimonte

Authors
  1. Vincenzo Dimonte
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Vincenzo Dimonte.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Dimonte, V. Totally non-proper ordinals beyond L(V λ+1). Arch. Math. Logic 50, 565–584 (2011). https://doi.org/10.1007/s00153-011-0232-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-011-0232-0

Keywords

Mathematics Subject Classification (2000)

Search

Navigation