A Note on (Meta)predicative Wellordering Proofs

DOI10.1007/978-3-030-49424-7_11OpenAlexW3048891791MaRDI QIDQ5013902

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)

Cites Work

• Unnamed Item
• Reflecting on incompleteness
• The proof-theoretic analysis of transfinitely iterated fixed point theories

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