A Natural Model of the Multiverse Axioms
Victoria Gitman and Joel David Hamkins
Source: Notre Dame J. Formal Logic Volume 51, Number 4
(2010), 475-484.
Abstract
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndjfl/1285765800
Digital Object Identifier: doi:10.1215/00294527-2010-030
Zentralblatt MATH identifier: 05822358
Mathematical Reviews number (MathSciNet): MR2741838
References
[1] Barwise, J., and J. Schlipf, "An introduction to recursively saturated and resplendent models", The Journal of Symbolic Logic, vol. 41 (1976), pp. 531--6.
Mathematical Reviews (MathSciNet): MR0403952
Zentralblatt MATH: 0343.02032
Digital Object Identifier: doi:10.2307/2272253
JSTOR: links.jstor.org
[2] Chang, C. C., and H. J. Keisler, Model Theory, 3d edition, vol. 73 of Studies in Logic and the Foundations of Mathematics, North-Holland Publishing Co., Amsterdam, 1990.
Mathematical Reviews (MathSciNet): MR1059055
Zentralblatt MATH: 0697.03022
[3] Friedman, H., "Countable models of set theories", pp. 539--73 in Cambridge Summer School in Mathematical Logic (Cambridge, 1971), vol. 337 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 1973.
Mathematical Reviews (MathSciNet): MR0347599
Zentralblatt MATH: 0271.02036
[4] Halimi, B., "Models and universes". preprint.
[5] Hamkins, J. D., "The set-theoretical multiverse". submitted.
[6] Hamkins, J. D., "The set-theoretical multiverse: A natural context for set theory". submitted.
[7] Hamkins, J. D., "Some second order set theory", pp. 36--50 in Logic and Its Applications, edited by R. Ramanujam and S. Sarukkai, vol. 5378 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2009.
Mathematical Reviews (MathSciNet): MR2540935
Zentralblatt MATH: pre05506840
Digital Object Identifier: doi:10.1007/978-3-540-92701-3_3
[8] Jensen, D., and A. Ehrenfeucht, "Some problem in elementary arithmetics", Fundamenta Mathematicae, vol. 92 (1976), pp. 223--45.
Mathematical Reviews (MathSciNet): MR0419212
Zentralblatt MATH: 0362.02049
[9] Kaye, R., Models of Peano Arithmetic, vol. 15 of Oxford Logic Guides, The Clarendon Press, New York, 1991.
Mathematical Reviews (MathSciNet): MR1098499
Zentralblatt MATH: 0744.03037
[10] Ressayre, J. P., ``Introduction aux modèles récursivement saturés,'' pp. 53--72 in Séminaire Général de Logique 1983--1984 (Paris, 1983--1984), vol. 27 of PublicationsMathématiques de l'Université Paris VII, Université de Paris VII U.E.R. de Mathématiques, Paris, 1986.
Mathematical Reviews (MathSciNet): MR938753
[11] Ressayre, J. P., and A. J. Wilkie, Modèles non Standard en Arithmétique et Théorie des Ensembles, vol. 22 of Publications Mathématiques de l'Université Paris VII, Université de Paris VII U.E.R. de Mathématiques, Paris, 1987.
Mathematical Reviews (MathSciNet): MR882182
Zentralblatt MATH: 0631.03048
[12] Schlipf, J. S., "A guide to the identification of admissible sets above structures", Annals of Pure and Applied Logic, vol. 12 (1977), pp. 151--92.
Mathematical Reviews (MathSciNet): MR0485330
Zentralblatt MATH: 0374.02031
[13] Schlipf, J. S., "Recursively saturated models of set theory", Proceedings of the American Mathematical Society, vol. 80 (1980), pp. 135--42.
Mathematical Reviews (MathSciNet): MR574523
Zentralblatt MATH: 0455.03022
[14] Scott, D., "Algebras of sets binumerable in complete extensions of arithmetic", pp. 117--21 in Proceedings of Symposia in Pure Mathematics, Vol. V, American Mathematical Society, Providence, 1962.
Mathematical Reviews (MathSciNet): MR0141595
Zentralblatt MATH: 0199.02601
[15] Smoryński, C., "Recursively saturated nonstandard models of arithmetic", The Journal of Symbolic Logic, vol. 46 (1981), pp. 259--86.
Mathematical Reviews (MathSciNet): MR613281
Zentralblatt MATH: 0501.03044
Digital Object Identifier: doi:10.2307/2273620
JSTOR: links.jstor.org
Notre Dame Journal of Formal Logic
