Crossmark

Goodstein sequences for prominent ordinals up to the ordinal of<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msubsup><mml:mrow><mml:mi>Π</mml:mi></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow><mml:mrow><mml:mn>1</mml:mn></mml:mrow></mml:msubsup><mml:msub><mml:mrow><mml:mo>−</mml:mo><mml:mi mathvariant="normal">C</mml:mi><mml:mi mathvariant="normal">A</mml:mi></mml:mrow><mml:mrow><mml:mn>0</mml:mn></mml:mrow></mml:msub></mml:math>

Crossref DOI link: https://doi.org/10.1016/j.apal.2013.06.019

Published Print: 2013-12

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

Weiermann, Andreas

Wilken, Gunnar
License Information

Text and Data Mining valid from 2013-12-01

Version of Record valid from 2017-12-02
More Information

This article is maintained by: Elsevier

Article Title: Goodstein sequences for prominent ordinals up to the ordinal of

Journal Title: Annals of Pure and Applied Logic

CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.apal.2013.06.019

Content Type: article

Copyright: Copyright © 2013 Elsevier B.V. All rights reserved.

Document is current

Any future updates will be listed below