THE POTENTIAL HIERARCHY OF SETS

DOI10.1017/S1755020313000014MaRDI QIDQ4928771zbMATH OpenFDO

Authors Øystein Linnebo

Publication date 18 June 2013

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

Full work available at URL https://doi.org/10.1017/S1755020313000014

zbMATH Keywords

foundations of set theorymodal set theoryphilosophy of mathematicsplural quantificationrelative consistency

Mathematics Subject Classification ID

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

Recommendations

• Hierarchies of finite sets
• scientific article; zbMATH DE number 997675
• A cumulative hierarchy of sets for constructive set theory
• scientific article; zbMATH DE number 1416987
• The hierarchy of Borel universal sets
• scientific article; zbMATH DE number 490856
• scientific article; zbMATH DE number 3316894
• A poset hierarchy
• Axioms for the set-theoretic hierarchy

Cites work

• Absolute generality
• Axiom schemata of strong infinity in axiomatic set theory
• Bad company tamed
• scientific article; zbMATH DE number 3873291 (Why is no real title available?)
• Idealist and Realist Elements in Cantor's Approach to Set Theory
• Logic, thought and action.
• Modalising plurals
• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Set theory. An introduction to large cardinals

Cited in

(57)

• Hierarchies of finite sets
• Cardinality and acceptable abstraction
• 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
• Paradox and potential infinity
• Mirroring theorems in free logic
• Why is the universe of sets not a set?
• Maximality and ontology: how axiom content varies across philosophical frameworks
• Why pure mathematical truths are metaphysically necessary: a set-theoretic explanation
• Arithmetic is determinate
• Can all things be counted?
• Varieties of indefinite extensibility
• Bi-modal naive set theory
• scientific article; zbMATH DE number 997675 (Why is no real title available?)
• Multiverse conceptions in set theory
• Evidence for Set-Theoretic Truth and the Hyperuniverse Programme
• Set Theory Extracted from Cantor's Theological Ontology
• What is a Higher-Level Set?
• CAN MODALITIES SAVE NAIVE SET THEORY?
• A Logical Foundation for Potentialist Set Theory
• 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
• Multiverse conceptions in set theory
• Putnam on mathematics as modal logic
• MODAL STRUCTURALISM AND REFLECTION
• PREDICATIVISM AS A FORM OF POTENTIALISM
• The search for new axioms in the hyperuniverse programme
• The search for new axioms in the hyperuniverse programme
• 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
• Arithmetic is necessary
• Structuralism and informal provability
• Modal quantifiers, potential infinity, and Yablo sequences
• Intrinsic justification for large cardinals and structural reflection
• A potentialist perspective on intuitionistic analysis
• Propositional potentialism
• A classical-modal interpretation of smooth infinitesimal analysis
• Maximality principles in the hyperuniverse programme
• The _2-potentialist principle
• Another look at reflection
• The modal logic of potential infinity: branching versus convergent possibilities
• Quantifier variance, mathematicians' freedom and the revenge of Quinean indispensability worries
• Iteration and dependence again
• What is forcing potentialism?
• Potentialism demodalized
• Introduction to special issue on potentialism in the philosophy of mathematics
• A taxonomy for set-theoretic potentialism
• Which modal machinery should the set-theoretic potentialist use?
• Predicative classes and strict potentialism
• The modal logic of arithmetic potentialism and the universal algorithm

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

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