Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4673286 | Indagationes Mathematicae | 2007 | 8 Pages |
Abstract
The antithesis of Specker's theorem states that every sequence eventually hounded away from each point of [0,1] is eventually bounded away from [0,1]. We show constructively (that is, with intuitionistic logic) that this is equivalent to a version of the fan theorem.
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)