arXiv Open Access 2025

Generalizing Goodstein's theorem and Cichon's independence proof

Gunnar Wilken

Lihat Sumber

Abstrak

We generalize Goodstein's theorem (Goodstein 1944) and Cichon's independence proof (Cichon 1983) to $Π^1_1-\mathrm{CA}_0$ using results from (Wilken 2026). The method is generalizable to stronger notation systems that provide unique terms for ordinals and enjoy Bachmann property.

Topik & Kata Kunci

math.LO

Penulis (1)

Gunnar Wilken

Format Sitasi

APA MLA BibTeX

Wilken, G. (2025). Generalizing Goodstein's theorem and Cichon's independence proof. https://arxiv.org/abs/2511.04526

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓