Skip to main content
SpringerLink
Log in

Infinitary Jónsson functions and elementary embeddings

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

Summary

We give an extender characterization of a very strong elementary embedding between transitive models of set theory, whose existence is known as the axiom I2. As an application, we show that the positive solution of a partition problem raised by Magidor would refute it.

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. Burke, D.: Splitting stationary sets. Preprint

  2. Erdös, P., Hajnal, A.: On a problem of B. Jónsson. Bull. Acad. Polon. Sci. Ser. Sci. Math.14, 19–23 (1966)

    Google Scholar 

  3. Foreman, M.: Potent axioms. Trans. Amer. Math. Soc.294, 1–28 (1986)

    Google Scholar 

  4. Harada, M.: Another proof for Kunen's theorem. Preprint

  5. Kanamori, A.: The higher infinite; large cardinals in set theory. To be published

  6. Kunen, K.: Elementary embeddings and infinitary combinatorics. J. Symb. Logic36, 407–413 (1971)

    Google Scholar 

  7. Powell, W.C.: Variations of Keisler's theorem for complete embeddings. Fund. Math.81, 121–132 (1974)

    Google Scholar 

  8. Shioya, M.: The minimal normal μ-complete filter onP κλ. Proc. Amer. Math. Soc., to appear

  9. Solovay, R.M., Reinhardt, W.N., Kanamori, A.: Strong axioms of infinity and elementary embeddings. Ann. Math. Logic.13, 73–116 (1978)

    Google Scholar 

  10. Woodin, W.H.: Supercompact cardinals, sets of reals and weakly homogenous trees. Proc. Natl. Acad. Sci. USA85, 6587–6591 (1988)

    Google Scholar 

  11. Zapletal, J.: A new proof of Kunen's inconsistency. Preprint

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, University of Tsukuba, 305, Tsukuba, Ibaraki, Japan

    Masahiro Shioya

Authors
  1. Masahiro Shioya
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Mathematics subject classifications (1991): 03E55, 03E05

This work is part of the author's thesis written under the direction of Professor K. Eda, to whom he is very grateful. He also wishes to thank the referee and Professor A. Blass for their careful reading and helpful suggestions. This research was partially supported by Grant-in-Aid for Scientific Research (No. 04302009), Ministry of Education, Science and Culture

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shioya, M. Infinitary Jónsson functions and elementary embeddings. Arch Math Logic 33, 81–86 (1994). https://doi.org/10.1007/BF01352930

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation