arXiv Open Access 2011

Ultrafilters in Reverse Mathematics

Henry Towsner

Lihat Sumber

Abstrak

We extend theories of reverse mathematics by a non-principal ultrafilter, and show that these are conservative extensions of the usual theories ACA0, ATR0, and Pi11-Comprehension.

Topik & Kata Kunci

math.LO

Penulis (1)

Henry Towsner

Format Sitasi

APA MLA BibTeX

Towsner, H. (2011). Ultrafilters in Reverse Mathematics. https://arxiv.org/abs/1109.3902

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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