A Note on (Meta)predicative Wellordering Proofs

DOI10.1007/978-3-030-49424-7_11MaRDI QIDQ5013902zbMATH OpenOpenAlexFDO

Authors Wilfried Buchholz

Publication date 3 December 2021

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

Full work available at URL https://doi.org/10.1007/978-3-030-49424-7_11

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX)

Recommendations

• Wellordering proofs for metapredicative Mahlo
• Proof-theoretic strengths of the well-ordering principles
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Intuitionistically provable recursive well-orderings
• scientific article; zbMATH DE number 4068863
• Predicative Aspects of Order Theory in Univalent Foundations
• Extensions of ordered theories by generic predicates
• About the proof-theoretic ordinals of weak fixed point theories
• A sneak preview of proof theory of ordinals
• scientific article; zbMATH DE number 1302068

Cites work

• scientific article; zbMATH DE number 3217001 (Why is no real title available?)
• Reflecting on incompleteness
• The proof-theoretic analysis of transfinitely iterated fixed point theories

Cited in

(8)

• Some results on cut-elimination, provable well-orderings, induction and reflection
• Intuitionistically provable recursive well-orderings
• On the well-foundedness of adequate orders used for construction of complete unfolding prefixes
• scientific article; zbMATH DE number 3931004 (Why is no real title available?)
• scientific article; zbMATH DE number 1163952 (Why is no real title available?)
• The Limits of Predicativity Revisited
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Predicative Aspects of Order Theory in Univalent Foundations

This page was built for publication: A Note on (Meta)predicative Wellordering Proofs

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