… the Vitali Covering Theorem are equivalent to WWKL over RCA0. … to WWKL over RCA0.
Finally in Section 5 we show that the Vitali Covering Theorem is likewise equivalent to WWKL …

… We point out that the Vitali Covering Theorem has been … anlysis WWKL≡ W PC [0 , 1] holds,
where WWKL is the natural … interesting, since the same theorem can be used to characterize …

… We study a version of the Vitali covering theorem, which we call WHBU and which is a direct
weakening of the Heine-Borel theorem for uncountable coverings, called HBU . We show …

… Vitali cover of A, then there exists a subsequence \({\mathcal J}\) of \({\mathcal I}\) that
eliminates A. The Vitali Covering Theorem … -known principle \(\mathsf{WWKL}_0\) that stands for …

… ▶ We use a Lemma by Brown, Giusto and Simpson on “almost Vitali covers” in order to
prove VCT2 ≤sW WWKL × CN. The harder direction is the opposite one for which it suffices to …

… Konig’s Lemma (WWKL) [5]. We show that also constructively WWKL is equivalent to VCT. …
proof in Brouwer’s intuitionism, since WWKL is easily seen to follow from the Fan Theorem. …

… WWKLO consists of RCA0+ WWKL 0, where WWKL is a very weak version of K6nig's lemma…
of versions of the classical result of Vitali's covering theorem. Moreover we present an RCA0 …

… In this paper, we study the Vitali and Heine-Borel covering theorems for uncountable … Vitali
covering theorem results in a theorem equivalent to weak weak König’s lemma \(\textsf {WWKL…

… Based on the results in [59, X.1], we believe that WWKL can fulfil the same role as WKL, but
… Vitali sub-cover of a set of measure 1 of a given Vitali cover, so Vitali’s covering theorem is …

… to prove our main theorem does satisfy this … theorem by elaborating on the proof of Proposition
3 of [5]. The proof given there is attributed to Kurtz; the result follows also from a theorem …