scientific article; zbMATH DE number 1302068

MaRDI QIDQ4247313zbMATH OpenFDO

Authors Anton Setzer

Publication date 16 June 1999

zbMATH Keywords

constructive type theorylower boundproof-theoretic strengthproof-theoretically strong theorytransfinite inductionwell-ordering proofs

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Well-ordering proofs for Martin-Löf type theory
• Publication:4715478
• The strength of Martin-Löf type theory with a superuniverse. I

Cited in

(10)

• Well-ordering proofs for Martin-Löf type theory
• The strength of some Martin-Löf type theories
• Proof-theoretic strengths of the well-ordering principles
• Transfinite constructions in classical type theory
• Zermelo’s Well-Ordering Theorem in Type Theory
• scientific article; zbMATH DE number 946307 (Why is no real title available?)
• A Note on (Meta)predicative Wellordering Proofs
• An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe
• Proof theory of Martin-Löf type theory. An overview
• The strength of Martin-Löf type theory with a superuniverse. II

This page was built for publication:

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