کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6424796 | 1633467 | 2014 | 10 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience](/preview/png/6424796.png)
چکیده انگلیسی
In recent years the question of whether adding the limited principle of omniscience, LPO, to constructive Zermelo-Fraenkel set theory, CZF, increases its strength has arisen several times. As the addition of excluded middle for atomic formulae to CZF results in a rather strong theory, i.e. much stronger than classical Zermelo set theory, it is not obvious that its augmentation by LPO would be proof-theoretically benign. The purpose of this paper is to show that CZF+RDC+LPO has indeed the same strength as CZF, where RDC stands for relativized dependent choice. In particular, these theories prove the same Î 20 theorems of arithmetic.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 2, February 2014, Pages 563-572
Journal: Annals of Pure and Applied Logic - Volume 165, Issue 2, February 2014, Pages 563-572
نویسندگان
Michael Rathjen,