منابع مشابه
Heine-Borel Does not Imply the Fan Theorem
Introduction. This paper deals with locales and their spaces of points in intuitionistic analysis or, if you like, in (Grothendieck) toposes. One of the important aspects of the problem whether a certain locale has enough points is that it is directly related to the (constructive) completeness of a geometric theory. A useful exposition of this relationship may be found in [1], and we will assum...
متن کاملProving a Heine-Borel Theorem by Analogy
This paper addresses analogy-driven automated theorem proving that employs a source proof-plan to guide the search for a proof-plan of the target problem. The approach presented uses reformulations that go beyond symbol mappings and that incorporate frequently used re-representations and abstractions. Several realistic math examples were successfully processed by our analogy-driven proof-plan c...
متن کاملA greedy, partially optimal proof of the Heine-Borel Theorem
The Heine-Borel theorem states that any open cover of the closed interval Œa; b contains a nite subcover. We give a new, constructive proof inspired by the concept of a greedy algorithm. In the case when the initial cover consists only of intervals, our proof is optimal in that it constructs a nite subcover with the fewest possible number of elements. Our work leaves open a number of questions...
متن کاملMore reverse mathematics of the Heine-Borel Theorem
Using the techniques of reverse mathematics, we characterize subsets X ⊆ [0, 1] in terms of the strength of HB(X), the Heine-Borel Theorem for the subset. We introduce W(X), formalizing the notion that the Heine-Borel Theorem for X is weak, and S(X), formalizing the notion that the theorem is strong. Using these, we can prove the following three results: RCA0 `W(X)→ HB(X), RCA0 ` S(X)→ (HB(X)→W...
متن کاملA Novel Proof of the Heine-borel Theorem
Every beginning real analysis student learns the classic Heine-Borel theorem, that the interval [0, 1] is compact. In this article, we present a proof of this result that doesn’t involve the standard techniques such as constructing a sequence and appealing to the completeness of the reals. We put a metric on the space of infinite binary sequences and prove that compactness of this space follows...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 1984
ISSN: 0022-4812,1943-5886
DOI: 10.2307/2274182