Inaccessible set axioms may have little consistency strength

DOI10.1016/S0168-0072(01)00083-5MaRDI QIDQ1612481zbMATH OpenDBLPWikidataFDO

Authors Laura Crosilla, Michael Rathjen

Publication date 22 August 2002

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

Full work available at URL https://doi.org/10.1016/S0168-0072(01)00083-5

zbMATH Keywords

consistency strengthconstructive set theoryinaccessible set axiomsrealizability interpretationtype theory

Mathematics Subject Classification ID

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

Recommendations

• Inaccessibility in constructive set theory and type theory
• Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
• Replacement versus collection and related topics in constructive Zermelo-Fraenkel set theory
• Inaccessible cardinals without the axiom of choice
• Proof theory of constructive systems: inductive types and univalence

Cites work

• A construction of non-well-founded sets within Martin-Löf's type theory
• Constructive set theory
• Fixed points in Peano arithmetic with ordinals
• scientific article; zbMATH DE number 3839951 (Why is no real title available?)
• scientific article; zbMATH DE number 3825796 (Why is no real title available?)
• scientific article; zbMATH DE number 3900744 (Why is no real title available?)
• scientific article; zbMATH DE number 4012604 (Why is no real title available?)
• scientific article; zbMATH DE number 4039890 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• Inaccessibility in constructive set theory and type theory
• Kripke-Platek set theory and the anti-foundation axiom
• Model theory.
• Set theory. An introduction to independence proofs
• The strength of Martin-Löf type theory with a superuniverse. I
• The strength of some Martin-Löf type theories

Cited in

(10)

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

This page was built for publication: Inaccessible set axioms may have little consistency strength

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