_1-elementarity and Skolem hull operators

DOI10.1016/J.APAL.2006.07.004zbMATH Open1117.03064OpenAlexW2018457617MaRDI QIDQ866561FDOQ866561

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

Recommendations

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

zbMATH Keywords

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

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Elementary patterns of resemblance
• Title not available (Why is that?)
• Assignment of ordinals to patterns of resemblance
• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling

Cited In (12)

• A Glimpse of $$ \sum_{3} $$-elementarity
• Ordinal arithmetic with simultaneously defined theta-functions
• Pure patterns of order 2
• Title not available (Why is that?)
• Normal forms for elementary patterns
• 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
• The Bachmann-Howard structure in terms of \(\Sigma_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)