Inaccessible set axioms may have little consistency strength

DOI10.1016/S0168-0072(01)00083-5zbMath1003.03048WikidataQ61835225 ScholiaQ61835225MaRDI QIDQ1612481

Michael Rathjen, Laura Crosilla

Publication date: 22 August 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

consistency strengthtype theoryconstructive set theoryrealizability interpretationinaccessible set axioms

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15) Relative consistency and interpretations (03F25)

Related Items

PREDICATIVISM AS A FORM OF POTENTIALISM, Inductive and Coinductive Topological Generation with Church's thesis and the Axiom of Choice, A New Foundational Crisis in Mathematics, Is It Really Happening?, Canonicity and normalization for dependent type theory, On Relating Theories: Proof-Theoretical Reduction, Extending constructive operational set theory by impredicative principles, Quotient topologies in constructive set theory and type theory, Proof Theory of Constructive Systems: Inductive Types and Univalence, The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Cites Work

• Set theory. An introduction to independence proofs
• Model theory.
• Fixed points in Peano arithmetic with ordinals
• Inaccessibility in constructive set theory and type theory
• The strength of some Martin-Löf type theories
• The strength of Martin-Löf type theory with a superuniverse. I
• Kripke-Platek Set Theory and the Anti-Foundation Axiom
• A construction of non-well-founded sets within Martin-Löf's type theory
• Constructive set theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item