Ordinal arithmetic based on Skolem hulling

DOI10.1016/J.APAL.2006.07.003zbMATH Open1117.03063OpenAlexW2032474274MaRDI QIDQ866560FDOQ866560

Authors: Gunnar Wilken 

Publication date: 14 February 2007

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

Recommendations

• Ordinal arithmetic: Algorithms and mechanization
• Ordinals and Knuth-Bendix orders
• Ordinal computations
• Ordinal numbers and the Hilbert basis theorem
• Ordinal arithmetic and \(\Sigma_1\)-elementarity
• scientific article; zbMATH DE number 440486
• Ordinal computability
• scientific article; zbMATH DE number 2236636
• Turing Computations On Ordinals
• scientific article; zbMATH DE number 1863385

zbMATH Keywords

proof theoryordinal notationspatterns of resemblance\(\Sigma _{1}\)-elementaritycollapsing functions

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Cites Work

• Proof theory. An introduction
• Proof-theoretic investigations on Kruskal's theorem
• Proof theory of reflection
• How to develop Proof‐Theoretic Ordinal Functions on the basis of admissible ordinals
• Ordinal notations based on a weakly Mahlo cardinal
• Elementary patterns of resemblance
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• A new system of proof-theoretic ordinal functions
• Title not available (Why is that?)
• Title not available (Why is that?)
• Assignment of ordinals to patterns of resemblance
• The Bachmann-Howard structure in terms of \(\Sigma_1\)-elementarity
• \(\Sigma _{1}\)-elementarity and Skolem hull operators
• Proof theory and ordinal analysis
• A simplification of the Bachmann method for generating large countable ordinals

Cited In (8)

• A Glimpse of $$ \sum_{3} $$-elementarity
• Representing Ordinal Numbers with Arithmetically Interesting Sets of Real Numbers
• Ordinal arithmetic with simultaneously defined theta-functions
• Pure patterns of order 2
• Normal forms for elementary patterns
• Pure \(\Sigma_2\)-elementarity beyond the core
• Tracking chains of \(\varSigma_2\)-elementarity
• \(\Sigma _{1}\)-elementarity and Skolem hull operators

This page was built for publication: Ordinal arithmetic based on Skolem hulling

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