2 papers
math.LO2026
Generalizing Goodstein's theorem and Cichon's independence proof
Gunnar Wilken
We generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) to using results from (Wilken 2026). The method is generaliz…
math.LO2025
Fundamental sequences based on localization
Gunnar Wilken
Building on Buchholz' assignment for ordinals below Bachmann-Howard ordinal, see Buchholz 2003, we introduce systems of fundamental sequences for two kinds of relativized $\varthet…