On the slowly well orderedness of _0

DOI10.1002/1521-3870(200201)48:1%3C125::AID-MALQ125%3E3.0.CO;2-NMaRDI QIDQ2776818zbMATH OpenFDO

Authors Toshiyasu Arai

Publication date 5 May 2002

Published in Mathematical Logic Quarterly (MLQ) (Search for Journal in Brave)

zbMATH Keywords

ordinal termsslowly well orderedness

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Recursive ordinals and ordinal notations (03F15)

Recommendations

• A Height Restricted Generation of a Set of Arithmetic Functions of Order‐Type ε₀
• scientific article; zbMATH DE number 1215495
• Slow versus fast growing
• An extremely sharp phase transition threshold for the slow growing hierarchy
• Variations on a theme by Weiermann

Cites work

• scientific article; zbMATH DE number 1151379 (Why is no real title available?)
• scientific article; zbMATH DE number 1390283 (Why is no real title available?)
• An application of graphical enumeration to PA *

Cited in

(12)

• Phase transitions for Gödel incompleteness
• On a question of Andreas Weiermann
• An application of graphical enumeration to PA *
• Classifying the phase transition threshold for Ackermannian functions
• 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03
• The ordinal of Skolem + tetration is \({\tau}_0\)
• Relationship between Kanamori-McAloon principle and Paris-Harrington theorem
• Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results
• Undefinability of κ-well-orderings in L_∞κ
• A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\)
• A Height Restricted Generation of a Set of Arithmetic Functions of Order‐Type ε₀
• Phase transitions of iterated Higman-style well-partial-orderings

This page was built for publication: On the slowly well orderedness of \(\varepsilon_0\)

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