THE POTENTIAL HIERARCHY OF SETS

DOI10.1017/S1755020313000014zbMath1283.03085MaRDI QIDQ4928771

Øystein Linnebo

Publication date: 18 June 2013

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

plural quantificationphilosophy of mathematicsmodal set theoryfoundations of set theoryrelative consistency

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Combined logics (03B62)

Related Items (30)

PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY ⋮ THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES ⋮ THE Σ₁-DEFINABLE UNIVERSAL FINITE SEQUENCE ⋮ THE POTENTIAL IN FREGE’S THEOREM ⋮ Maddy On The Multiverse ⋮ Composition as analysis: the meta-ontological origins (and future) of composition as identity ⋮ Hierarchical multiverse of sets ⋮ VARIETIES OF CLASS-THEORETIC POTENTIALISM ⋮ Potential Infinity and De Re Knowledge of Mathematical Objects ⋮ Bicontextualism ⋮ Mathematical modality: an investigation in higher-order logic ⋮ Cardinality and acceptable abstraction ⋮ CAN MODALITIES SAVE NAIVE SET THEORY? ⋮ Multiverse Conceptions in Set Theory ⋮ Evidence for Set-Theoretic Truth and the Hyperuniverse Programme ⋮ Mirroring theorems in free logic ⋮ Can all things be counted? ⋮ Multiverse conceptions in set theory ⋮ A note on Gabriel Uzquiano's ``Varieties of indefinite extensibility ⋮ Book review of: M. Carrara (ed.) et al., Unity and plurality. Logic, philosophy, and linguistics ⋮ Putnam on Mathematics as Modal Logic ⋮ MODAL STRUCTURALISM AND REFLECTION ⋮ Why is the universe of sets not a set? ⋮ Maximality and ontology: how axiom content varies across philosophical frameworks ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ The Search for New Axioms in the Hyperuniverse Programme ⋮ Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation ⋮ Arithmetic is determinate ⋮ Varieties of indefinite extensibility

Cites Work

• Unnamed Item
• Unnamed Item
• Modalising plurals
• Bad company tamed
• Set theory. An introduction to large cardinals
• Logic, thought and action.
• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Axiom schemata of strong infinity in axiomatic set theory
• Idealist and Realist Elements in Cantor's Approach to Set Theory

This page was built for publication: THE POTENTIAL HIERARCHY OF SETS