Tracking chains of _2-elementarity

DOI10.1016/J.APAL.2011.08.003zbMATH Open1273.03159OpenAlexW1994360600MaRDI QIDQ645983FDOQ645983

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

Recommendations

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

zbMATH Keywords

ordinal arithmeticordinal notationselementary substructurespatterns of resemblancetracking chains

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Title not available (Why is that?)
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Elementary patterns of resemblance
• Patterns of resemblance of order 2
• Ordinal arithmetic with simultaneously defined theta-functions
• Title not available (Why is that?)
• Assignment of ordinals to patterns of resemblance
• Normal forms for elementary patterns
• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• \(\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)