Uniform generalization of Goodstein's theorem and Cichon's independence proof
Gunnar Wilken
math.LOarXiv:2609.24214
Abstract
We uniformly generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) via the concept of maximality quotients.
Create a lesson
Related papers
Compactness beyond choice and HOD
Jonathan Osinski
Finite Spectra of Syllogistic Logic with Cardinality Comparisons
Ruiting Jiang
Infinitary provability logic
Mojtaba Mojtahedi, Fedor Pakhomov, Giovanni Soldà
A translation of Maehara's "Eine Darstellung der Intuitionistischen Logik in der Klassischen"
Justus Becker
The theory of nonabelian free groups has no model companion
Olga Kharlampovich, Rizos Sklinos
Forking and invariant types in monadic NIP theories
Michael C. Laskowski