arXiv Open Access 2018

Cut-elimination for $ω_{1}$

Toshiyasu Arai

Lihat Sumber

Abstrak

In this paper we calibrate the strength of the soundness of a Kripke-Platek set theory with the axioms of Infinity and Π_{1}-Collection with the assumption that`there exists an uncountable regular ordinal' in terms of the existence of ordinals.

Topik & Kata Kunci

math.LO

Penulis (1)

Toshiyasu Arai

Format Sitasi

APA MLA BibTeX

Arai, T. (2018). Cut-elimination for $ω_{1}$. https://arxiv.org/abs/1801.10025

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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