کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424836 | 1633482 | 2012 | 17 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Derived rules for predicative set theory: An application of sheaves
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constructing sheaf models and using their preservation properties.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 10, October 2012, Pages 1367-1383
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 10, October 2012, Pages 1367-1383
نویسندگان
Benno van den Berg, Ieke Moerdijk,