References & Citations
Mathematics > Logic
Title: Fast Goodstein Walks
(Submitted on 30 Nov 2021 (v1), last revised 14 May 2022 (this version, v2))
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.
Submission history
From: David Fernández-Duque [view email][v1] Tue, 30 Nov 2021 12:14:47 GMT (31kb)
[v2] Sat, 14 May 2022 08:43:23 GMT (32kb)
Link back to: arXiv, form interface, contact.