Normal forms for elementary patterns

DOI10.2178/JSL/1327068698MaRDI QIDQ5388725zbMATH OpenOpenAlexFDO

Authors Timothy J. Carlson, Gunnar Wilken

Publication date 19 April 2012

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://projecteuclid.org/euclid.jsl/1327068698

zbMATH Keywords

algorithmsordinal arithmeticordinal notationspatterns of resemblanceproof theory

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Recommendations

• Assignment of ordinals to patterns of resemblance
• Arithmetical algorithms for elementary patterns
• Pure patterns of order 2
• Patterns of resemblance of order 2
• scientific article; zbMATH DE number 1390277
• How to characterize provably total functions by local predicativity
• A note on predicative ordinal analysis. I. Iterated comprehension and transfinite induction
• Tracking chains revisited
• Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems
• Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa

Cites work

• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• A Uniform Approach to Fundamental Sequences and Hierarchies
• Assignment of ordinals to patterns of resemblance
• Dirichlet averages of x^t \log x
• Elementary patterns of resemblance
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Ordinal arithmetic based on Skolem hulling
• Patterns of resemblance of order 2
• The Bachmann-Howard structure in terms of _1-elementarity

Cited in

(17)

• Patterns of resemblance of order 2
• Pure patterns of order 2
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• Some methods for ``normalizing patterns
• Pure \(\Sigma_2\)-elementarity beyond the core
• Patterns of resemblance and Bachmann-Howard fixed points
• Arithmetical algorithms for elementary patterns
• Ordinal arithmetic with simultaneously defined theta-functions
• scientific article; zbMATH DE number 2185163 (Why is no real title available?)
• scientific article; zbMATH DE number 4058922 (Why is no real title available?)
• A Glimpse of $$ \sum_{3} $$-elementarity
• Assignment of ordinals to patterns of resemblance
• Elementary patterns of resemblance
• Tracking chains of \(\varSigma_2\)-elementarity
• Fundamental sequences based on localization
• Fundamental sequences based on localization
• \(\Sigma _{1}\)-elementarity and Skolem hull operators

This page was built for publication: Normal forms for elementary patterns

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