A new system of proof-theoretic ordinal functions

1986/01/01 by Wilfried Buchholz, W. Buchholz · 4 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #Computability, Logic, AI Algorithms

paper · doi:10.1016/0168-0072(86)90052-7

crossref issued 1986/01/01 · crossref published 1986/01/01 · crossref published-print 1986/01/01 · openalex publication_date 1986/01/01 · crossref created 2003/05/12 · crossref deposited 2019/03/21 · openalex created_date 2025/10/10 · crossref indexed 2026/03/02 · openalex updated_date 2026/07/02

Cited by

• Ordinal notation systems corresponding to Friedman's linearized\n well-partial-orders with gap-condition
• Ordinal notations based on a weakly Mahlo cardinal
• Worms and Spiders: Reflection calculi and ordinal notation systems
• Buchholz's ordinal [wikipedia]
• Ordinal notation [wikipedia]