The iterative conception of set. A (bi-)modal axiomatisation

DOI10.1007/s10992-012-9245-3zbMath1301.03043OpenAlexW2166833596MaRDI QIDQ380997

J. P. Studd

Publication date: 15 November 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9245-3

zbMATH Keywords

modal logicaxiomatic rank orderingcumulative universemodal set theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical and second-order set theories (03E70)

Related Items

LEVEL THEORY, PART 2: AXIOMATIZING THE BARE IDEA OF A POTENTIAL HIERARCHY, THE MODAL LOGIC OF SET-THEORETIC POTENTIALISM AND THE POTENTIALIST MAXIMALITY PRINCIPLES, Mathematical modality: an investigation in higher-order logic, CAN MODALITIES SAVE NAIVE SET THEORY?, Mirroring theorems in free logic, Sets and supersets, Modal expansionism, Putnam on Mathematics as Modal Logic, Why is the universe of sets not a set?, Varieties of indefinite extensibility

Cites Work

• Principles of partial reflection in the set theories of Zermelo and Ackermann
• Axiom schemata of strong infinity in axiomatic set theory
• Slim models of Zermelo set theory
• Boolos on the justification of set theory
• Set Theory
• Models of Second-Order Zermelo Set Theory
• Speaking of Everything
• First-Order Modal Theories I--Sets
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item