Tracking chains of _2-elementarity

DOI10.1016/J.APAL.2011.08.003MaRDI QIDQ645983zbMATH OpenOpenAlexFDO

Authors Timothy J. Carlson, Gunnar Wilken

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)

Recommendations

• Tracking chains revisited
• Pure patterns of order 2
• Elementary patterns of resemblance
• Arithmetical algorithms for elementary patterns
• Normal forms for elementary patterns

Cites work

• scientific article; zbMATH DE number 2185163 (Why is no real title available?)
• scientific article; zbMATH DE number 4033739 (Why is no real title available?)
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Normal forms for elementary patterns
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• Ordinal arithmetic with simultaneously defined theta-functions
• Patterns of resemblance of order 2
• The Bachmann-Howard structure in terms of _1-elementarity
• \(\Sigma _{1}\)-elementarity and Skolem hull operators

Cited in

(4)

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

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

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