Curation by evpok 7 months, 4 weeks ago for query bolzano-weierstrass theorem
Original results
-
http://arxiv.org/abs/1101.0792 — found via Mwmbl
[1101.0792] The Bolzano-Weierstrass Theorem is the Jump of Weak …
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v2 — found via Mwmbl
[1101.0792v2] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v3 — found via Mwmbl
[1101.0792v3] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v1 — found via Mwmbl
[1101.0792v1] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://terrytao.wordpress.com/tag/bolzano-weierstrass-theorem/ — found via Mwmbl
Bolzano-Weierstrass theorem | What's new
Nonstandard analysis is a mathematical framework in which one extends the standard mathematical universe of standard numbers, standard sets, standard fun…
-
https://ui.adsabs.harvard.edu/abs/arXiv:1101.0792 — found via Mwmbl
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemm…
NASA/ADS The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract We classify the computational content of the Bolzano-Weierstrass Theo…
-
https://proofwiki.org/wiki/Weierstrass-Bolzano_Theorem — found via Mwmbl
Bolzano-Weierstrass Theorem - ProofWiki
Bolzano-Weierstrass Theorem This article has been identified as a candidate for Featured Proof status. If you do not believe that this proof is worthy of…
-
https://eprints.illc.uva.nl/id/eprint/1646 — found via Mwmbl
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Anal…
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Analysis Abstract Abstract. Let κ be an uncountable regular cardinal with κ<κ = κ. We consider…
-
http://mathworld.wolfram.com/Bolzano-WeierstrassTheorem.html — found via Mwmbl
Bolzano-Weierstrass Theorem -- from Wolfram MathWorld
Bolzano-Weierstrass Theorem For , an infinite subset of a closed bounded set has an accumulation point in . For instance, given a bounded sequence, with …
-
http://web.mat.bham.ac.uk/R.W.Kaye/seqser/completeness2.html — found via Mwmbl
The Bolzano-Weierstrass Theorem
The Bolzano-Weierstrass Theorem 1. Introduction We have seen the completeness axiom for the reals in the form of the Monotone Convergence Theorem. This w…
-
https://economics.stackexchange.com/a/32779 — found via Mwmbl
mathematical economics - Bolzano-Weierstrass Theorem and Pareto …
Wikipedia says 'The Bolzano–Weierstrass theorem allows one to prove that if the set of allocations is compact and non-empty, then the system has a Pareto…
-
http://dx.doi.org/10.2178/jsl/1185803621 — found via Mwmbl
Ideal convergence of bounded sequences | The Journal of Symbolic…
Abstract We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergent subsequence) on ideal convergence. We sh…
New results
-
http://arxiv.org/abs/1101.0792 — found via Mwmbl
[1101.0792] The Bolzano-Weierstrass Theorem is the Jump of Weak …
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v2 — found via Mwmbl
[1101.0792v2] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v3 — found via Mwmbl
[1101.0792v3] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://arxiv.org/abs/1101.0792v1 — found via Mwmbl
[1101.0792v1] The Bolzano-Weierstrass Theorem is the Jump of Wea…
Title:The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract:We classify the computational content of the Bolzano-Weierstrass Theorem…
-
https://terrytao.wordpress.com/tag/bolzano-weierstrass-theorem/ — found via Mwmbl
Bolzano-Weierstrass theorem | What's new
Nonstandard analysis is a mathematical framework in which one extends the standard mathematical universe of standard numbers, standard sets, standard fun…
-
https://ui.adsabs.harvard.edu/abs/arXiv:1101.0792 — found via Mwmbl
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemm…
NASA/ADS The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Abstract We classify the computational content of the Bolzano-Weierstrass Theo…
-
https://proofwiki.org/wiki/Weierstrass-Bolzano_Theorem — found via Mwmbl
Bolzano-Weierstrass Theorem - ProofWiki
Bolzano-Weierstrass Theorem This article has been identified as a candidate for Featured Proof status. If you do not believe that this proof is worthy of…
-
https://eprints.illc.uva.nl/id/eprint/1646 — found via Mwmbl
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Anal…
PP-2018-14: The Bolzano-Weierstrass Theorem in Generalised Analysis Abstract Abstract. Let κ be an uncountable regular cardinal with κ<κ = κ. We consider…
-
http://mathworld.wolfram.com/Bolzano-WeierstrassTheorem.html — found via Mwmbl
Bolzano-Weierstrass Theorem -- from Wolfram MathWorld
Bolzano-Weierstrass Theorem For , an infinite subset of a closed bounded set has an accumulation point in . For instance, given a bounded sequence, with …
-
http://web.mat.bham.ac.uk/R.W.Kaye/seqser/completeness2.html — found via Mwmbl
The Bolzano-Weierstrass Theorem
The Bolzano-Weierstrass Theorem 1. Introduction We have seen the completeness axiom for the reals in the form of the Monotone Convergence Theorem. This w…
-
https://economics.stackexchange.com/a/32779 — found via Mwmbl
mathematical economics - Bolzano-Weierstrass Theorem and Pareto …
Wikipedia says 'The Bolzano–Weierstrass theorem allows one to prove that if the set of allocations is compact and non-empty, then the system has a Pareto…
-
http://dx.doi.org/10.2178/jsl/1185803621 — found via Mwmbl
Ideal convergence of bounded sequences | The Journal of Symbolic…
Abstract We generalize the Bolzano-Weierstrass theorem (that every bounded sequence of reals admits a convergent subsequence) on ideal convergence. We sh…