Multiple universes of sets and indeterminate truth values

DOI10.1023/A:1010600724850MaRDI QIDQ5950498zbMATH OpenOpenAlexFDO

Authors Donald A. Martin

Publication date 2 June 2002

Published in Topoi (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1010600724850

zbMATH Keywords

JFM 56.0082.02philosophical foundations of set-theoryphilosophy of mathematicsset-theoretic universessharpness of conceptstruth-value gaps

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) Philosophical and critical aspects of logic and foundations (03A05) Set theory (03E99)

Recommendations

• Categoricity theorems and conceptions of set
• The set-theoretic multiverse: a natural context for set theory
• Second order logic, set theory and foundations of mathematics
• An Independence Result in Several Complex Variables
• Sets and supersets
• scientific article; zbMATH DE number 813127
• Sets, functions, measures. Volume 1: Fundamentals of set and number theory
• A local two-sorted theory of classes and sets: MacLane's problem and Mostowski's program
• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Second order logic or set theory?

Cited in

(29)

• Set theory with indeterminacy of identity
• An indeterminate universe of sets
• Arithmetic is determinate
• Structural relativity and informal rigour
• Is the dream solution of the continuum hypothesis attainable?
• Mathematical determinacy and the transferability of aboutness
• The set-theoretic multiverse as a mathematical plenitudinous Platonism viewpoint
• The set-theoretic multiverse
• Multiversism and concepts of set: how much relativism is acceptable?
• Forcing, Multiverse and Realism
• The Significance of a Categoricity Theorem for Formal Theories and Informal Beliefs
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Gödel's Conceptual Realism
• Multiverse set theory and absolutely undecidable propositions
• Sets and supersets
• Feferman on set theory: infinity up on trial
• Strong logics of first and second order
• What can a categoricity theorem tell us?
• Realizability semantics for quantified modal logic: generalizing Flagg's 1985 construction
• Foundations of Information and Knowledge Systems
• STEEL’S PROGRAMME: EVIDENTIAL FRAMEWORK, THE CORE AND ULTIMATE-L
• Maddy On The Multiverse
• Conventionalism about mathematics and logic
• Satisfaction is not absolute
• Maximality principles in the hyperuniverse programme
• Mathematical pluralism and indispensability
• Explanatory indispensability and the set theoretic multiverse
• The problem of existence for descriptivism about the reference of set-theoretic expressions
• Higher-order Platonism and multiversism

This page was built for publication: Multiple universes of sets and indeterminate truth values

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5950498)