arXiv Open Access 2015

$omega_{1}$ under $Pi_{1}$-Collection

Toshiyasu Arai

Lihat Sumber

Abstrak

We describe a proof-theoretic bound on $Sigma_{2}$-definable countable ordinals in Kripke-Platek set theory with $Pi_{1}$-Collection and the existence of $omega_{1}$.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2015). $omega_{1}$ under $Pi_{1}$-Collection. https://arxiv.org/abs/1508.01547

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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