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 |
Externí odkaz: |
Autor: | De Smet, Michiel, Weiermann, Andreas |
---|---|
Zdroj: | In Annals of Pure and Applied Logic June 2012 163(6):669-680 |
Databáze: | ScienceDirect |
Externí odkaz: |