arXiv
Open Access
2023
Well-foundedness proof for $Π^{1}_{1}$-reflection
Toshiyasu Arai
Abstrak
In the lecture notes it is shown that an ordinal $ψ_Ω(\varepsilon_{\mathbb{S}^{+}+1})$ is an upper bound for the proof-theoretic ordinal of a set theory ${\sf KP}ω+(M\prec_{Σ_{1}}V)$. In this note we show that ${\sf KP}ω+(M\prec_{Σ_{1}}V)$ proves the well-foundedness up to $ψ_Ω(ω_{n}(\mathbb{S}^{+}+1))$ for each $n$.
Topik & Kata Kunci
Penulis (1)
T
Toshiyasu Arai
Akses Cepat
Informasi Jurnal
- Tahun Terbit
- 2023
- Bahasa
- en
- Sumber Database
- arXiv
- Akses
- Open Access ✓