Generalizing Goodstein's theorem and Cichon's independence proof
Abstract
We generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) to 11-CA0 using results from (Wilken 2026). The method is generalizable to stronger notation systems that provide unique terms for ordinals and enjoy Bachmann property.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.