Uniform generalization of Goodstein's theorem and Cichon's independence proof

Abstract

We uniformly generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) via the concept of maximality quotients.

This article emerged from the paper "Generalizing Goodstein's theorem and Cichon's independence proof" available at https://arxiv.org/abs/2511.04526