Skip to main content
Log in

A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part

Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

We produce a model of \(\mathsf {ZFA}+ \mathsf {PAC}\) such that no outer model of \(\mathsf {ZFAC}\) has the same pure sets, answering a question asked privately by Eric Hall.

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

Access this article

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. Ackerman, N.L.: Model theoretic proof of a theorem of Hjorth. unpublished note

  2. Gao, Su: On automorphism groups of countable structures. J. Symb. Log. 63(3), 891–896 (1998)

    Article  MathSciNet  MATH  Google Scholar 

  3. Halbeisen, L.J.: Combinatorial Set Theory. Springer Monographs in Mathematics. Springer, London (2012). (With a gentle introduction to forcing)

    Book  Google Scholar 

  4. Hjorth, G.: Knight’s model, its automorphism group, and characterizing the uncountable cardinals. J. Math. Logic 2(1), 113–144 (2002)

    Article  MathSciNet  MATH  Google Scholar 

  5. Hodges, W.: Model Theory. Encyclopedia of Mathematics and its Applications, vol. 42. Cambridge University Press, Cambridge (1993)

    Google Scholar 

  6. Jech, T.: Set Theory. Springer Monographs in Mathematics, 3rd edn. Springer, Berlin (2003)

    Google Scholar 

  7. Jech, T.J.: The axiom of choice. North-Holland Publishing Co., Amsterdam-London; Amercan Elsevier Publishing Co., Inc., New York. Studies in Logic and the Foundations of Mathematics, Vol. 75 (1973)

  8. Laskowski, M.C., Shelah, S.: On the existence of atomic models. J. Symb. Log. 58(4), 1189–1194 (1993)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Paul Larson.

Additional information

The research of the first author was partially supported by NSF Grant DMS-1201494. The research of the second author was partially supported by the United States-Israel Binational Science Foundation (Grant Number 2010405) and the National Science Foundation (Grant Number 136974). Publication Number 1105 in the second author’s list. We thank the referee for a close reading of the paper and several helpful comments.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Larson, P., Shelah, S. A model of \(\mathsf {ZFA}+ \mathsf {PAC}\) with no outer model of \(\mathsf {ZFAC}\) with the same pure part. Arch. Math. Logic 57, 853–859 (2018). https://doi.org/10.1007/s00153-018-0610-y

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00153-018-0610-y

Keywords

Mathematics Subject Classification

Navigation