کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
5778151 | 1633429 | 2017 | 23 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
The countable admissible ordinal equivalence relation
ترجمه فارسی عنوان
رابطه معادله ی مجاز قابل شمارش قابل قبول است
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
Let FÏ1 be the countable admissible ordinal equivalence relation defined on 2Ï by xFÏ1y if and only if Ï1x=Ï1y. Some invariant descriptive set theoretic properties of FÏ1 will be explored using infinitary logic in countable admissible fragments as the main tool. Marker showed FÏ1 is not the orbit equivalence relation of a continuous action of a Polish group on 2Ï. Becker stengthened this to show FÏ1 is not even the orbit equivalence relation of a Î11 action of a Polish group. However, Montalbán has shown that FÏ1 is Î11 reducible to an orbit equivalence relation of a Polish group action, in fact, FÏ1 is classifiable by countable structures. It will be shown here that FÏ1 must be classified by structures of high Scott rank. Let EÏ1 denote the equivalence of order types of reals coding well-orderings. If E and F are two equivalence relations on Polish spaces X and Y, respectively, Eâ¤aÎ11F denotes the existence of a Î11 function f:XâY which is a reduction of E to F, except possibly on countably many classes of E. Using a result of Zapletal, the existence of a measurable cardinal implies EÏ1â¤aÎ11FÏ1. However, it will be shown that in Gödel's constructible universe L (and set generic extensions of L), EÏ1â¤aÎ11FÏ1 is false. Lastly, the techniques of the previous result will be used to show that in L (and set generic extensions of L), the isomorphism relation induced by a counterexample to Vaught's conjecture cannot be Î11 reducible to FÏ1. This shows the consistency of a negative answer to a question of Sy-David Friedman.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 6, June 2017, Pages 1224-1246
Journal: Annals of Pure and Applied Logic - Volume 168, Issue 6, June 2017, Pages 1224-1246
نویسندگان
William Chan,