کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778116 | 1633427 | 2017 | 4 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Addendum to: “The Bolzano-Weierstrass theorem is the jump of weak KÅnig's lemma” [Ann. Pure Appl. Logic 163 (6) (2012) 623-655]
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The purpose of this addendum is to close a gap in the proof of [1, Theorem 11.2], which characterizes the computational content of the Bolzano-Weierstraà Theorem for arbitrary computable metric spaces.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 8, August 2017, Pages 1605-1608
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 8, August 2017, Pages 1605-1608
نویسندگان
Vasco Brattka, Andrea Cettolo, Guido Gherardi, Alberto Marcone, Matthias Schröder,