{"id":"arxiv/2604.00771","url":"https://arxiv.org/abs/2604.00771","tags":["math.LO"],"score":0,"title":"Goodstein at the Second Threshold: An Independence Result for $ID_2$","domain":"math.LO","source":"arxiv","authors":["Oriola Gjetaj","Andreas Weiermann"],"reviews":0,"subject":"math.LO","summary":"The classical Goodstein process, defined via hereditary base-$k$ exponential normal form, is a well-known example of a principle unprovable in Peano Arithmetic. In this paper, we generalize this framework by constructing a new Goodstein process based on the Hardy hierarchy. We develop an ordinal notation system utilizing a two-step collapsing procedure, which yields a proof-theoretic ordinal of $ψ_0ψ_1(\\varepsilon_{Ω_2+1})$. By defining $k$-normal forms for natural numbers within this system, we introduce a Goodstein-type process and demonstrate that the theory of non-iterated positive…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-01","reactions":{}}