کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4662654 | 1633551 | 2006 | 9 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Quotient topologies in constructive set theory and type theory
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
چکیده انگلیسی
The standard construction of quotient spaces in topology uses full separation and power sets. We show how to make this construction using only the (generalised) predicative methods available in constructive type theory and constructive set theory.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 141, Issues 1–2, August 2006, Pages 257-265
Journal: Annals of Pure and Applied Logic - Volume 141, Issues 1–2, August 2006, Pages 257-265