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

DOI10.1016/J.APAL.2013.06.019zbMATH Open1320.03082OpenAlexW2216795626MaRDI QIDQ490676FDOQ490676

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

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
• 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

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)

Cited In (4)

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

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)