کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
13430468 | 1842467 | 2019 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
First Steps Towards a Formalization of Forcing
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله

چکیده انگلیسی
Given a transitive set M, we define its generic extension M[G], the canonical names for elements of M, and finally show that if M satisfies the axiom of pairing, then M[G] also does. We also prove that M[G] is transitive.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Electronic Notes in Theoretical Computer Science - Volume 344, 16 August 2019, Pages 119-136
Journal: Electronic Notes in Theoretical Computer Science - Volume 344, 16 August 2019, Pages 119-136
نویسندگان
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf,