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

Autor: De Smet, Michiel, Weiermann, Andreas
Zdroj: In Annals of Pure and Applied Logic June 2012 163(6):669-680
Databáze: ScienceDirect