𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The principle of the excluded third and the Bolzano-Weierstrass lemma

✍ Scribed by J. Billing

Book ID
112788876
Publisher
Springer Netherlands
Year
1949
Tongue
English
Weight
49 KB
Volume
1
Category
Article
ISSN
0004-2080

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

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

On the principle of the excluded middle
On the principle of the excluded middle
✍ Łukasiewicz, Jan; Woleński, Jan; Simons, Peter 📂 Article 📅 1987 🏛 Taylor and Francis Group 🌐 English ⚖ 140 KB