A Natural Model of the Multiverse Axioms

&
Notre Dame Journal of Formal Logic 51 (4):475-484 (2010)
  Copy   BIBTEX

Abstract

If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms of Hamkins

Categories

Keywords

Reprint years

DOI

10.1215/00294527-2010-030

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,628

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Equational Boolean relation theory.Harvey Friedman - manuscript
Power-like models of set theory.Ali Enayat - 2001 - Journal of Symbolic Logic 66 (4):1766-1782.
The model of set theory generated by countably many generic reals.Andreas Blass - 1981 - Journal of Symbolic Logic 46 (4):732-752.
Model existence in non-compact modal logic.Yoshihito Tanaka - 2001 - Studia Logica 67 (1):61-73.
Multiverse Cosmological Models.P. C. W. Davies - unknown
God or Multiverse? Swinburne on Fine-Tuning.Jennifer Hankeln, Matthias Schleiff & Paul Schã¶Ttner - 2008 - In Richard Swinburne: Christian Philosophy in a Modern World. Ontos Verlag.
Fine Tuning Explained? Multiverses and Cellular Automata.Francisco José Soler Gil & Manuel Alfonseca - 2013 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 44 (1):153-172.
Automorphisms moving all non-algebraic points and an application to NF.Friederike Körner - 1998 - Journal of Symbolic Logic 63 (3):815-830.
Axioms of symmetry: Throwing darts at the real number line.Chris Freiling - 1986 - Journal of Symbolic Logic 51 (1):190-200.
A theory of strong indiscernibles.Harvey Friedman - manuscript
On extremal axioms.Rudolf Carnap, Friedrich Bachmann & H. G. Bohnert - 1981 - History and Philosophy of Logic 2 (1-2):67-85.

Analytics

Added to PP
2010-09-30

Downloads
141 (#131,351)

6 months
26 (#112,011)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Citations of this work

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Universism and extensions of V.Carolin Antos, Neil Barton & Sy-David Friedman - 2021 - Review of Symbolic Logic 14 (1):112-154.
Bi-interpretation in weak set theories.Alfredo Roque Freire & Joel David Hamkins - 2021 - Journal of Symbolic Logic 86 (2):609-634.

View all 12 citations / Add more citations

References found in this work

The set-theoretic multiverse.Joel David Hamkins - 2012 - Review of Symbolic Logic 5 (3):416-449.
Countable models of set theories.Harvey Friedman - 1973 - In A. R. D. Mathias & H. Rogers (eds.), Cambridge Summer School in Mathematical Logic. New York: Springer Verlag. pp. 539--573.
Recursively saturated nonstandard models of arithmetic.C. Smoryński - 1981 - Journal of Symbolic Logic 46 (2):259-286.

Add more references