arXiv Open Access 2019

Mahlo classes for first-order reflections

Toshiyasu Arai

Lihat Sumber

Abstrak

In this note we axiomatize the $Π_{k+1}$-consequences in the set theory ${\sf KP}Π_{N}$ for $Π_{N}$-reflecting universes in terms of iterations of $Π_{i}$-recursively Mahlo operations for $1\leq k\leq i<N$.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2019). Mahlo classes for first-order reflections. https://arxiv.org/abs/1910.06520

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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