arXiv Open Access 2011

Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory

Toshiyasu Arai

Lihat Sumber

Abstrak

We describe the countable ordinals in terms of iterations of Mostowski collapsings. This gives a proof-theoretic bound of definable countable ordinals in the Zermelo-Fraenkel's set theory ZF.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2011). Lifting up the proof theory to the countables : Zermelo-Fraenkel set theory. https://arxiv.org/abs/1101.5660

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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