کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661712 1344860 2015 11 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Models of intuitionistic set theory in subtoposes of nested realizability toposes
ترجمه فارسی عنوان
مدل های تئوری مجموعه شهود در زیرموضوعات از موضوعات با قابلیت اجرای تودرتو
کلمات کلیدی
نظریه مجموعه جبری ؛ موضوعات ؛ قابلیت تحقق تعمیم یافته
03G30; 18B05; 18B25; 18C10Algebraic set theory; Toposes; Generalised realizability
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

In [8] Joyal and Moerdijk have shown that realizability toposes over partial combinatory algebras (pca) host classes of small maps   giving rise to initial ZFZF-algebras providing models of intuitionistic Zermelo–Fraenkel set theory IZFIZF. Here we show that this can be extended to a much wider class of realizability toposes as considered in [4] and [3].For this purpose we first show this result for nested realizability toposes  RT(A,A#)RT(A,A#) induced by a pca AA together with a sub-pca A#A# as considered implicitly in [4] and then show that it is preserved by restriction to subtoposes. This suffices since all toposes considered in [4] and [3] arise as subtoposes of some nested realizability toposes.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 166, Issue 6, June 2015, Pages 729–739
نویسندگان
, ,