On Effectively Indiscernible Projective Sets and the Leibniz-Mycielski Axiom

Examples of effectively indiscernible projective sets of real numbers in various models of set theory are presented. We prove that it is true, in Miller and Laver generic extensions of the constructible universe, that there exists a lightface <inline-formula><math xmlns="http://www.w3....

وصف كامل

التفاصيل البيبلوغرافية
الحاوية / القاعدة:Mathematics
المؤلفون الرئيسيون: Ali Enayat, Vladimir Kanovei, Vassily Lyubetsky
التنسيق: مقال
اللغة:الإنجليزية
منشور في: MDPI AG 2021-07-01
الموضوعات:
indiscernible sets
Leibniz-Mycielski axiom
projective hierarchy
generic models
ordinal definability
Miller forcing
الوصول للمادة أونلاين:https://www.mdpi.com/2227-7390/9/14/1670

الانترنت

https://www.mdpi.com/2227-7390/9/14/1670

مواد مشابهة