Goodstein sequences for prominent ordinals up to the ordinal of ^1_1-CA₀

DOI10.1016/J.APAL.2013.06.019MaRDI QIDQ490676zbMATHOpenAlexFDO

Authors Andreas Weiermann, Gunnar Wilken

Publication date 27 August 2015

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

zbMATH Keywords

unprovabilityGoodstein sequenceproof-theoretic ordinal

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Recursive functions and relations, subrecursive hierarchies (03D20) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal
• Measurable cardinals and good \(\Sigma_1(\kappa)\)-wellorderings
• \(\Pi_1^1\)-CA\(_0\) and order types of countable ordered groups
• The size of the class of countable sequences of ordinals
• scientific article; zbMATH DE number 94639
• scientific article; zbMATH DE number 709721
• Kleinberg sequences and partition cardinals below \(\pmb\delta_5^1\)
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Universally \(L^1\) good sequences with gaps tending to infinity
• scientific article; zbMATH DE number 559140

Cited in

(4)

• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Pure \(\Sigma_2\)-elementarity beyond the core
• A Glimpse of $$ \sum_{3} $$-elementarity
• GOODSTEIN SEQUENCES BASED ON A PARAMETRIZED ACKERMANN–PÉTER FUNCTION

This page was built for publication: Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)

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