arXiv Open Access 2019

Brouwer's fan theorem

Josef Berger

Lihat Sumber

Abstrak

Brouwer's fan theorem states that every bar is a uniform bar. We give an overview of the status of this axiom in Bishop's constructive mathematics. In particular, we describe the relationship between the fan theorem, the weak König lemma, and the uniform continuity theorem.

Topik & Kata Kunci

math.LO

Penulis (1)

Josef Berger

Format Sitasi

APA MLA BibTeX

Berger, J. (2019). Brouwer's fan theorem. https://arxiv.org/abs/2001.00064

Akses Cepat

Lihat di Sumber

Informasi Jurnal

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