\(\Sigma _{1}\)-elementarity and Skolem hull operators

DOI10.1016/J.APAL.2006.07.004zbMath1117.03064OpenAlexW2018457617MaRDI QIDQ866561

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.004

zbMATH Keywords

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (9)

Ordinal arithmetic based on Skolem hulling ⋮ 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 ⋮ Patterns of resemblance of order 2 ⋮ Patterns of resemblance and Bachmann-Howard fixed points ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Unnamed Item

This page was built for publication: \(\Sigma _{1}\)-elementarity and Skolem hull operators