- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
A Natural Model of the Multiverse Axioms
Notre Dame Journal of Formal Logic 51 (4):475-484 (2010)
Abstract
If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of HamkinsAuthor Profiles
Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
On the Set-Generic Multiverse.Sy-David Friedman, Sakaé Fuchino & Hiroshi Sakai - 2018 - In Carolin Antos, Sy-David Friedman, Radek Honzik & Claudio Ternullo (eds.), The Hyperuniverse Project and Maximality. Basel, Switzerland: Birkhäuser. pp. 109-124.
Steel's Programme: Evidential Framework, the Core and Ultimate-L.Joan Bagaria & Claudio Ternullo - 2021 - Review of Symbolic Logic:1-25.
Closed Maximality Principles and Generalized Baire Spaces.Philipp Lücke - 2019 - Notre Dame Journal of Formal Logic 60 (2):253-282.
Steel’s Programme: Evidential Framework, the Core and Ultimate- L.Joan Bagaria & Claudio Ternullo - 2023 - Review of Symbolic Logic 16 (3):788-812.
The Consistency Strength of M P C C C.George Leibman - 2010 - Notre Dame Journal of Formal Logic 51 (2):181-193.
Pointwise definable models of set theory.Joel David Hamkins, David Linetsky & Jonas Reitz - 2013 - Journal of Symbolic Logic 78 (1):139-156.
The Copernican Multiverse of Sets.Paul K. Gorbow & Graham E. Leigh - 2022 - Review of Symbolic Logic 15 (4):1033-1069.
Analytics
Added to PP
2010-09-30
Downloads
156 (#130,542)
6 months
35 (#119,951)
2010-09-30
Downloads
156 (#130,542)
6 months
35 (#119,951)
Historical graph of downloads
Author Profiles
Citations of this work
The modal logic of set-theoretic potentialism and the potentialist maximality principles.Joel David Hamkins & Øystein Linnebo - 2022 - Review of Symbolic Logic 15 (1):1-35.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.
Naive Infinitism: The Case for an Inconsistency Approach to Infinite Collections.Toby Meadows - 2015 - Notre Dame Journal of Formal Logic 56 (1):191-212.
References found in this work
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & Hartley Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 539--573.
An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.
A guide to the identification of admissible sets above structures.John S. Schlipf - 1977 - Annals of Mathematical Logic 12 (2):151.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6d5f778f9-t6hwg uwo