Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal

Michiel De Smet, Andreas Weiermann. Goodstein sequences for prominent ordinals up to the Bachmann-Howard ordinal. Annals of Pure and Applied Logic, 163(6):669-680, 2012. [doi]

Abstract

Abstract is missing.