Hostname: page-component-cd9895bd7-mkpzs Total loading time: 0 Render date: 2024-12-26T20:12:47.929Z Has data issue: false hasContentIssue false
  • English
  • Français

INITIAL SELF-EMBEDDINGS OF MODELS OF SET THEORY

Part of: Set theory Nonstandard models

Published online by Cambridge University Press:  13 August 2021

ALI ENAYAT  and
ZACHIRI MCKENZIE
ALI ENAYAT
Affiliation:
DEPARTMENT OF PHILOSOPHY, LINGUISTICS AND THEORY OF SCIENCE UNIVERSITY OF GOTHENBURGGOTHENBURG, SWEDENE-mail: [email protected]
ZACHIRI MCKENZIE
Affiliation:
DEPARTMENT OF PHILOSOPHY ZHEJIANG UNIVERSITY HANGZHOU, P.R. CHINAE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

By a classical theorem of Harvey Friedman (1973), every countable nonstandard model $\mathcal {M}$ of a sufficiently strong fragment of ZF has a proper rank-initial self-embedding j, i.e., j is a self-embedding of $\mathcal {M}$ such that $j[\mathcal {M}]\subsetneq \mathcal {M}$ , and the ordinal rank of each member of $j[\mathcal {M}]$ is less than the ordinal rank of each element of $\mathcal {M}\setminus j[\mathcal {M}]$ . Here, we investigate the larger family of proper initial-embeddings j of models $\mathcal {M}$ of fragments of set theory, where the image of j is a transitive submodel of $\mathcal {M}$ . Our results include the following three theorems. In what follows, $\mathrm {ZF}^-$ is $\mathrm {ZF}$ without the power set axiom; $\mathrm {WO}$ is the axiom stating that every set can be well-ordered; $\mathrm {WF}(\mathcal {M})$ is the well-founded part of $\mathcal {M}$ ; and $\Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ is the full scheme of dependent choice of length $\alpha $ .

Theorem A.

There is an $\omega $ -standard countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^-+\mathrm {WO}$ that carries no initial self-embedding $j:\mathcal {M} \longrightarrow \mathcal {M}$ other than the identity embedding.

Theorem B.

Every countable $\omega $ -nonstandard model $\mathcal {M}$ of $\ \mathrm {ZF}$ is isomorphic to a transitive submodel of the hereditarily countable sets of its own constructible universe $L^{\mathcal {M}}$ .

Theorem C.

The following three conditions are equivalent for a countable nonstandard model $\mathcal {M}$ of $\mathrm {ZF}^{-}+\mathrm {WO}+\forall \alpha \ \Pi ^1_\infty \text{-}\mathrm {DC}_\alpha $ .

  1. (I) There is a cardinal in $\mathcal {M}$ that is a strict upper bound for the cardinality of each member of $\mathrm {WF}(\mathcal {M})$ .

  2. (II) $\mathrm {WF}(\mathcal {M})$ satisfies the powerset axiom.

  3. (III) For all $n \in \omega $ and for all $b \in M$ , there exists a proper initial self-embedding $j: \mathcal {M} \longrightarrow \mathcal {M}$ such that $b \in \mathrm {rng}(j)$ and $j[\mathcal {M}] \prec _n \mathcal {M}$ .

Keywords

self-embeddinginitial embeddingnonstandardmodel of set theory

MSC classification

Secondary: 03E99: None of the above, but in this section 03H99: None of the above, but in this section
Type
Article
Information
The Journal of Symbolic Logic , Volume 86 , Issue 4 , December 2021 , pp. 1584 - 1611
Check for updates
Copyright
© Association for Symbolic Logic 2021

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Bahrami, S. and Enayat, A., Fixed points of self-embbeddings of models of arithmetic. Annals of Pure and Applied Logic, vol. 168 (2018), pp. 487–513.CrossRefGoogle Scholar
Barwise, J., Infinitary methods in the model theory of set theory, Logic Colloquium '69 (R. O. Gandy and C. E. M. Yates, editors), North-Holland, Amsterdam, 1971, pp. 53–66.CrossRefGoogle Scholar
Barwise, J., Admissible Sets and Structures, Perspectives in Mathematical Logic, vol. 7, Springer, Berlin, 1975.10.1007/978-3-662-11035-5CrossRefGoogle Scholar
Barwise, J. and Fischer, E., The Shoenfield absoluteness lemma . Israel Journal of Mathematics, vol. 8 (1970), pp. 329–339.10.1007/BF02798679CrossRefGoogle Scholar
Chang, C. C. and Keisler, H. J., Model Theory, third ed., Studies in Logic and the Foundations of Mathematics, vol. 73, North-Holland, Amsterdam, 1990.Google Scholar
Enayat, A., Kaufmann, M., and McKenzie, Z., Largest initial segments pointwise fixed by automorphisms of models of set theory . Archive for Mathematical Logic, vol. 57 (2018), nos. 1–2, pp. 91–139.CrossRefGoogle Scholar
Flannagan, T. B., Axioms of choice in Morse–Kelley class theory , ISILC Logic Conference (G. H. Müller, A. Oberschelp, and K. Potthoff, editors), Springer Lecture Notes in Mathematics, vol. 499, Springer, Berlin–Heidelberg, 1975, pp. 190–247.10.1007/BFb0079422CrossRefGoogle Scholar
Forster, T. and Kaye, R., End-extensions preserving power set, this Journal, vol. 56 (1991), no. 1, pp. 323–328.Google Scholar
Friedman, H. M., Countable models of set theories , Cambridge Summer School in Mathematical Logic (A. R. D. Mathias and H. Rogers Jr, editors), Springer Lecture Notes in Mathematics, vol. 337, Springer, Berlin, 1973, pp. 539–573.10.1007/BFb0066789CrossRefGoogle Scholar
Friedman, S.-D., Gitman, V., and Kanovei, V., A model of second-order arithmetic satisfying AC but not DC . Journal of Mathematical Logic, vol. 19 (2019), no. 1, Article no. 1850013.CrossRefGoogle Scholar
Friedman, S.-D., Li, W., and Wong, T. L., Fragments of Kripke–Platek set theory and the Metamathematics of α-recursion theory . Archive for Mathematical Logic, vol. 55 (2016), no. 7, pp. 899–924.10.1007/s00153-016-0501-zCrossRefGoogle Scholar
Gitman, V., Hamkins, J. D., and Johnstone, T. A., What is the theory ZFC without powerset . Mathematical Logic Quarterly, vol. 62 (2016), nos. 4–5, pp. 391–406.CrossRefGoogle Scholar
Gorbow, P. K., Self-similarity in the foundations. Doctoral dissertation, University of Gothenburg, 2018. Available at https://arxiv.org/abs/1806.11310.Google Scholar
Hamkins, J. D., Every countable model of set theory embeds into its own constructible universe . Journal of Mathematical Logic, vol. 13 (2013), no. 2, Article no. 1350006.10.1142/S0219061313500062CrossRefGoogle Scholar
Hamkins, J. D., A new proof of the Barwise extension theorem, without infinitary logic, CUNY Logic Workshop, 2018. Available at http://jdh.hamkins.org.Google Scholar
Jech, T., Set Theory, Springer Monographs in Mathematics, Springer, Berlin, 2003.Google Scholar
Kaye, R. and Lok, W. T., On interpretations of arithmetic and set theory. Notre Dame Journal of Formal Logic, vol. 48 (2007), pp. 497–510.10.1305/ndjfl/1193667707CrossRefGoogle Scholar
Keisler, H. J. and Morley, M., Elementary extensions of models of set theory . Israel Journal of Mathematics, vol. 5 (1968), pp. 49–65.10.1007/BF02771605CrossRefGoogle Scholar
Lévy, A., The interdependence of certain consequences of the axiom of choice . Fundamenta Mathematicae, vol. 54 (1964), pp. 135–157.10.4064/fm-54-2-135-157CrossRefGoogle Scholar
Mathias, A. R. D., The strength of mac lane set theory . Annals of Pure and Applied Logic, vol. 110 (2001), pp. 107–234.10.1016/S0168-0072(00)00031-2CrossRefGoogle Scholar
McKenzie, Z., Automorphisms of models of set theory and extensions of NFU . Annals of Pure and Applied Logic, vol. 166 (2015), pp. 601–638.10.1016/j.apal.2014.12.002CrossRefGoogle Scholar
McKenzie, Z., On the relative strengths of fragments of collection . Mathematical Logic Quarterly, vol. 65 (2019), no. 1, pp. 80–94.10.1002/malq.201800044CrossRefGoogle Scholar
Quinsey, J. E., Some problems in logic, Ph.D. thesis, University of Oxford, 1980.Google Scholar
Ressayre, J.-P., Modèles non standard et sous-systèmes remarquables de ZF, Modèles Non Standard en arithmétique et théorie Des Ensembles, Publications Mathématiques de l’Université Paris VII, vol. 22, Université de Paris VII, U.E.R. de Mathématiques, Paris, 1987, pp. 47–147.Google Scholar
Zarach, A. M., Unions of ZF−-models which are themselves ZF−-models, Logic Colloquium '80 (D. van Dalen, T. J. Smiley, and D. Lascar, editors), Studies in Logic and the Foundations of Mathematics, vol. 108, North-Holland, Amsterdam, 1982, pp. 315–342.Google Scholar
Zarach, A. M., Replacement $\nrightarrow$ collection , Gödel '96 (P. Hájek, editor), Springer, Berlin, 1996, pp. 307–322.Google Scholar