The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity

DOI10.1007/S00153-006-0010-6zbMath1110.03053OpenAlexW2081882471MaRDI QIDQ850804

Gunnar Wilken

Publication date: 6 November 2006

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-006-0010-6

zbMATH Keywords

proof-theoretic ordinalordinal notation

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (10)

Open Questions in Reverse Mathematics ⋮ Ordinal arithmetic based on Skolem hulling ⋮ \(\Sigma _{1}\)-elementarity and Skolem hull operators ⋮ Tracking chains of \(\varSigma_2\)-elementarity ⋮ Normal forms for elementary patterns ⋮ Ordinal arithmetic with simultaneously defined theta-functions ⋮ Arithmetical algorithms for elementary patterns ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ Patterns of resemblance and Bachmann-Howard fixed points ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• Unnamed Item
• Proof-theoretic investigations on Kruskal's theorem
• Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
• An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
• Proof theory. An introduction
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Complexity bounds for some finite forms of Kruskal's theorem
• Proof theory and ordinal analysis
• Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• Elementary patterns of resemblance

This page was built for publication: The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity