An indeterminate universe of sets

DOI10.1007/S11229-016-1297-4zbMath1475.03046OpenAlexW2565402558MaRDI QIDQ2054115

Chris Scambler

Publication date: 1 December 2021

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-016-1297-4

zbMATH Keywords

indeterminacyfoundations of mathematicsphilosophy of mathematicsnon-classical logicintuitionismmetaphyiscsmultiverse set theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50)

Related Items (2)

INDEPENDENCE PROOFS IN NON-CLASSICAL SET THEORIES ⋮ The scope of Feferman's semi-intuitionistic set theories and his second conjecture

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kreisel, the continuum hypothesis and second order set theory
• The hyperuniverse program
• INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• On the Question of Absolute Undecidability
• Axiom of Choice and Complementation
• Choice Implies Excluded Middle
• WHAT CAN A CATEGORICITY THEOREM TELL US?
• Semantic theory and necessary truth
• Multiple universes of sets and indeterminate truth values

This page was built for publication: An indeterminate universe of sets