کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6425325 | 1633798 | 2016 | 49 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Logical metatheorems for abstract spaces axiomatized in positive bounded logic
ترجمه فارسی عنوان
متا تئوری منطقی برای فضاهای انتزاعی در اصل منطقی محدود شده است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات (عمومی)
چکیده انگلیسی
In this paper we show that normed structures which can be axiomatized in positive bounded logic (in the sense of Henson and Iovino) admit proof-theoretic metatheorems (as developed by the second author since 2005) on the extractability of explicit uniform bounds from proofs in the respective theories. We apply this to design such metatheorems for abstract Banach lattices, Lp- and C(K)-spaces as well as bands in Lp(Lq)-Bochner spaces. We also show that a proof-theoretic uniform boundedness principle can serve in many ways as a substitute for the model-theoretic use of ultrapowers of Banach spaces.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Advances in Mathematics - Volume 290, 26 February 2016, Pages 503-551
Journal: Advances in Mathematics - Volume 290, 26 February 2016, Pages 503-551
نویسندگان
Daniel Günzel, Ulrich Kohlenbach,