Normal forms for elementary patterns
From MaRDI portal
Publication:5388725
DOI10.2178/jsl/1327068698zbMath1275.03154OpenAlexW2074662282MaRDI QIDQ5388725
Timothy J. Carlson, Gunnar Wilken
Publication date: 19 April 2012
Published in: The Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://projecteuclid.org/euclid.jsl/1327068698
Related Items (7)
Pure patterns of order 2 ⋮ Tracking chains of \(\varSigma_2\)-elementarity ⋮ Ordinal arithmetic with simultaneously defined theta-functions ⋮ Arithmetical algorithms for elementary patterns ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ 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
- \(\Sigma _{1}\)-elementarity and Skolem hull operators
- Patterns of resemblance of order 2
- Ordinal arithmetic and \(\Sigma_1\)-elementarity
- Dirichlet averages of $x^t \log x$
- A Uniform Approach to Fundamental Sequences and Hierarchies
- Assignment of ordinals to patterns of resemblance
- Elementary patterns of resemblance
This page was built for publication: Normal forms for elementary patterns
