Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)

DOI10.1016/J.APAL.2013.06.019zbMath1320.03082OpenAlexW2216795626MaRDI QIDQ490676

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)

Related Items (4)

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

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