_1-elementarity and Skolem hull operators

DOI10.1016/J.APAL.2006.07.004MaRDI QIDQ866561zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 2185163
• The Bachmann-Howard structure in terms of _1-elementarity
• Assignment of ordinals to patterns of resemblance
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Normal forms for elementary patterns

Cites work

• scientific article; zbMATH DE number 2185163 (Why is no real title available?)
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• The Bachmann-Howard structure in terms of _1-elementarity

Cited in

(12)

• A Glimpse of $$ \sum_{3} $$-elementarity
• Ordinal arithmetic with simultaneously defined theta-functions
• Pure patterns of order 2
• scientific article; zbMATH DE number 2185163 (Why is no real title available?)
• Normal forms for elementary patterns
• Pure \(\Sigma_2\)-elementarity beyond the core
• Tracking chains of \(\varSigma_2\)-elementarity
• Patterns of resemblance and Bachmann-Howard fixed points
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• The Bachmann-Howard structure in terms of _1-elementarity
• Ordinal arithmetic based on Skolem hulling
• Patterns of resemblance of order 2

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q866561)