Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published June 2017 | Submitted
Journal Article Open

The countable admissible ordinal equivalence relation

Chan, William


Let F_(ω1) be the countable admissible ordinal equivalence relation defined on ^ω2 by x F_(ω1) y if and only if ω_1^x=ω_1^y. 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 Δ_1^1 action of a Polish group. However, Montalbán has shown that F_(ω1) is Δ_1^1 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Δ_1^1 F denotes the existence of a Δ_1^1 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Δ_1^1 F_(ω1). However, it will be shown that in Gödel's constructible universe L (and set generic extensions of L), E_(ω1) ≤ aΔ_1^1 F_(ω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 Δ_1^1 reducible to F_(ω1). This shows the consistency of a negative answer to a question of Sy-David Friedman.

Additional Information

© 2016 Elsevier B.V. Received 6 February 2016, Revised 14 December 2016, Accepted 16 December 2016, Available online 21 December 2016. Research partially supported by NSF grants DMS-1464475 and EMSW21-RTG DMS-1044448.

Attached Files

Submitted - 1601.07924.pdf


Files (338.8 kB)
Name Size Download all
338.8 kB Preview Download

Additional details

August 21, 2023
October 25, 2023