scientific article

DOI<link itemprop=identifier href="https://doi.org/10.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-N" /><125::AID-MALQ125>3.0.CO;2-N 10.1002/1521-3870(200201)48:1<125::AID-MALQ125>3.0.CO;2-NzbMath0997.03045MaRDI QIDQ2776818

Toshiyasu Arai

Publication date: 5 May 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

ordinal termsslowly well orderedness

Mathematics Subject Classification ID

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

Related Items (8)

A comparison of well-known ordinal notation systems for \(\varepsilon _{0}\) ⋮ Phase transitions of iterated Higman-style well-partial-orderings ⋮ Relationship between Kanamori-McAloon Principle and Paris-Harrington Theorem ⋮ 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03 ⋮ Phase transitions for Gödel incompleteness ⋮ Classifying the phase transition threshold for Ackermannian functions ⋮ An application of graphical enumeration to PA * ⋮ Analytic combinatorics, proof-theoretic ordinals, and phase transitions for independence results

Cites Work

• An application of graphical enumeration to PA *
• Unnamed Item
• Unnamed Item

This page was built for publication: