Ordinal arithmetic based on Skolem hulling

DOI10.1016/J.APAL.2006.07.003zbMath1117.03063OpenAlexW2032474274MaRDI QIDQ866560

Gunnar Wilken

Publication date: 14 February 2007

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2006.07.003

zbMATH Keywords

proof theoryordinal notationspatterns of resemblance\(\Sigma _{1}\)-elementaritycollapsing functions

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (7)

\(\Sigma _{1}\)-elementarity and Skolem hull operators ⋮ Pure patterns of order 2 ⋮ Tracking chains of \(\varSigma_2\)-elementarity ⋮ Normal forms for elementary patterns ⋮ Ordinal arithmetic with simultaneously defined theta-functions ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• Unnamed Item
• Unnamed Item
• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• Ordinal notations based on a weakly Mahlo cardinal
• A new system of proof-theoretic ordinal functions
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• Proof-theoretic investigations on Kruskal's theorem
• Proof theory of reflection
• Proof theory. An introduction
• Proof theory and ordinal analysis
• A simplification of the Bachmann method for generating large countable ordinals
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance

This page was built for publication: Ordinal arithmetic based on Skolem hulling