Fast Goodstein Walks
From MaRDI portal
Abstract: We define a variant of the Goodstein process based on fast-growing functions and show that it terminates, but this fact is not provable in Kripke-Platek set theory or other theories of strength the Bachmann-Howard ordinal. We moreover show that this Goodstein process is of maximal length, so that any alternative Goodstein process based on the same fast-growing functions will also terminate.
This page was built for publication: Fast Goodstein Walks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6384356)
