کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424837 | 1633482 | 2012 | 16 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
Bishop's informal set theory is briefly discussed and compared to Lawvere's Elementary Theory of the Category of Sets (ETCS). We then present a constructive and predicative version of ETCS, whose standard model is based on the constructive type theory of Martin-Löf. The theory, CETCS, provides a structuralist foundation for constructive mathematics in the style of Bishop.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 10, October 2012, Pages 1384-1399
Journal: Annals of Pure and Applied Logic - Volume 163, Issue 10, October 2012, Pages 1384-1399
نویسندگان
Erik Palmgren,