arXiv Open Access 2015

$Σ^0_3$ determinacy and ${\mathbfΠ}^1_2$ monotone induction

Sherwood Hachtman

Lihat Sumber

Abstrak

Building on recent work of Philip Welch, we prove that (lightface) $Σ^0_3$ determinacy is equivalent to the existence of a wellfounded model satisfying the axiom scheme of (boldface) $\mathbfΠ^1_2$ monotone induction.

Topik & Kata Kunci

math.LO

Penulis (1)

Sherwood Hachtman

Format Sitasi

APA MLA BibTeX

Hachtman, S. (2015). $Σ^0_3$ determinacy and ${\mathbfΠ}^1_2$ monotone induction. https://arxiv.org/abs/1509.02446

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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