An Upper Bound for the Proof-Theoretic Strength of Martin-Löf Type Theory with W-type and One Universe

DOI10.1007/978-3-030-49424-7_16OpenAlexW328150321MaRDI QIDQ5013908

No author found.

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://cronfa.swan.ac.uk/Record/cronfa51297

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites Work

• Proof-theoretic analysis of KPM
• Constructivism in mathematics. An introduction. Volume II
• Well-ordering proofs for Martin-Löf type theory
• The strength of some Martin-Löf type theories
• Extending Martin-Löf type theory by one Mahlo-universe
• A well-ordering proof for Feferman's theoryT 0
• The Use of Trustworthy Principles in a Revised Hilbert’s Program
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item