The Bachmann-Howard structure in terms of _1-elementarity
From MaRDI portal
Publication:850804
DOI10.1007/S00153-006-0010-6zbMATH Open1110.03053OpenAlexW2081882471MaRDI QIDQ850804FDOQ850804
Authors: 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
Recommendations
Cites Work
- Ein in der reinen Zahlentheorie unbeweisbarer Satz über endliche Folgen von natürlichen Zahlen
- Proof theory. An introduction
- Proof-theoretic investigations on Kruskal's theorem
- An ordinal analysis of parameter free \(\Pi^{1}_{2}\)-comprehension
- How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
- Knowledge, machines, and the consistency of Reinhardt's strong mechanistic thesis
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- Elementary patterns of resemblance
- Complexity bounds for some finite forms of Kruskal's theorem
- Proof theory and ordinal analysis
- Title not available (Why is that?)
Cited In (13)
- A Glimpse of $$ \sum_{3} $$-elementarity
- Open questions in reverse mathematics
- Ordinal arithmetic with simultaneously defined theta-functions
- Arithmetical algorithms for elementary patterns
- Normal forms for elementary patterns
- Computable aspects of the Bachmann-Howard principle
- Pure \(\Sigma_2\)-elementarity beyond the core
- Patterns of resemblance and Bachmann-Howard fixed points
- Tracking chains of \(\varSigma_2\)-elementarity
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- \(\Sigma _{1}\)-elementarity and Skolem hull operators
- Ordinal arithmetic based on Skolem hulling
- An order-theoretic characterization of the Howard-Bachmann-hierarchy
This page was built for publication: The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q850804)
