_1-elementarity and Skolem hull operators
From MaRDI portal
Publication:866561
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
proof theoryordinal notationspatterns of resemblance\(\Sigma _{1}\)-elementaritycollapsing functions
Cites Work
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)