Tracking chains of \(\varSigma_2\)-elementarity

DOI10.1016/J.APAL.2011.08.003zbMath1273.03159OpenAlexW1994360600MaRDI QIDQ645983

Gunnar Wilken, Timothy J. Carlson

Publication date: 11 November 2011

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

zbMATH Keywords

ordinal arithmeticordinal notationselementary substructurespatterns of resemblancetracking chains

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (3)

Pure patterns of order 2 ⋮ Pure \(\Sigma_2\)-elementarity beyond the core ⋮ A Glimpse of $$ \sum_{3} $$-elementarity

Cites Work

• Unnamed Item
• Unnamed Item
• 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
• Ordinal arithmetic with simultaneously defined theta-functions
• Assignment of ordinals to patterns of resemblance
• Normal forms for elementary patterns
• Elementary patterns of resemblance

This page was built for publication: Tracking chains of \(\varSigma_2\)-elementarity