Sets and supersets

DOI10.1007/s11229-015-0818-xzbMath1384.03057WikidataQ58194867 ScholiaQ58194867MaRDI QIDQ513990

Toby Meadows

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2164/8726

zbMATH Keywords

philosophy of mathematics; absolute generality; formal theories of truth; indefinite extensibility; philosophy of set theory

Mathematics Subject Classification ID

03A05: Philosophical and critical aspects of logic and foundations

03E70: Nonclassical and second-order set theories

Related Items

Plurals and mereology

Uses Software

• MathOverflow

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• MathOverflow
• The iterative conception of set. A (bi-)modal axiomatisation
• What truth depends on
• Extensionality and restriction in naive set theory
• Descriptive set theory
• Set theory. An introduction to independence proofs
• Set theory. An introduction to large cardinals
• The logic of paradox
• Model theory
• A contextual-hierarchical approach to truth and the liar paradox
• Varieties of indefinite extensibility
• What Does it Take to Prove Fermat's Last Theorem? Grothendieck and the Logic of Number Theory
• TRANSFINITE NUMBERS IN PARACONSISTENT SET THEORY
• THE ITERATIVE CONCEPTION OF SET
• A Proof of Projective Determinacy
• On the Consistency Problem for Set Theory: An Essay on the Cantorian Foundations of Classical Mathematics (I)
• Set existence principles of Shoenfield, Ackermann, and Powell
• Outline of a Theory of Truth
• Set Theory
• SUPER LIARS
• Truth Definitions and Consistency Proofs
• Multiple universes of sets and indeterminate truth values