کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10118901 1633562 2005 17 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Independence results around constructive ZF
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Independence results around constructive ZF
چکیده انگلیسی
CZF is an intuitionistic set theory that does not contain Power Set, substituting instead a weaker version, Subset Collection. In this paper a Kripke model of CZF is presented in which Power Set is false. In addition, another Kripke model is presented of CZF with Subset Collection replaced by Exponentiation, in which Subset Collection fails.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 132, Issues 2–3, March 2005, Pages 209-225
نویسندگان
,