𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Hindman spaces and the Bolzano–Weierstrass property

✍ Scribed by Filipów, Rafał

Book ID
121229737
Publisher
Elsevier Science
Year
2013
Tongue
English
Weight
258 KB
Volume
160
Category
Article
ISSN
0166-8641

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the computational content of the Bolz
On the computational content of the Bolzano-Weierstraß Principle
✍ Pavol Safarik; Ulrich Kohlenbach 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 299 KB

We will apply the methods developed in the field of 'proof mining' to the Bolzano-Weierstraß theorem BW and calibrate the computational contribution of using this theorem in proofs of combinatorial statements. We provide an explicit solution of the Gödel functional interpretation (combined with nega

The cohesive principle and the Bolzano-W
The cohesive principle and the Bolzano-Weierstraß principle
✍ Alexander P. Kreuzer 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 97 KB

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstraß principle (BW) and a weak variant of it. We show that BW is instance-wise equivalent to the weak König's lemma for Σ 0 1 -trees Σ 0 1 -WKL . This means that from every bounded sequenc