کد مقاله کد نشریه سال انتشار مقاله انگلیسی ترجمه فارسی نسخه تمام متن
4661593 1344846 2016 22 صفحه PDF ندارد دانلود رایگان
عنوان انگلیسی مقاله
Counterexamples to countable-section Π21 uniformization and Π31 separation ☆
ترجمه فارسی عنوان
مثال‌های نقض برای یکنواخت سازی Π21 بخش قابل شمارش و جدایی Π31
کلمات کلیدی
یکنواخت سازی؛ جدایی؛ اجبار جنسن ؛ پشتیبانی محدود
03E15; 03E35; 03E20; 28A05Uniformization; Separation; Jensen's forcing; Finite support
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
چکیده انگلیسی

We make use of a finite support product of the Jensen minimal Π21 singleton forcing to define a model in which Π21 uniformization fails for a set with countable cross-sections. We also define appropriate submodels of the same model in which separation fails for Π31.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 3, March 2016, Pages 262–283
نویسندگان
, ,