Goodstein sequences based on a Parametrized Ackermann-Péter function

Toshiyasu Arai, Stanley S. Wainer, Andreas Weiermann. Goodstein sequences based on a Parametrized Ackermann-Péter function. Bulletin of Symbolic Logic, 27(2):168-186, 2021. [doi]

Authors

Toshiyasu Arai

This author has not been identified. Look up 'Toshiyasu Arai' in Google

Stanley S. Wainer

This author has not been identified. Look up 'Stanley S. Wainer' in Google

Andreas Weiermann

This author has not been identified. Look up 'Andreas Weiermann' in Google