A universal coanalytic linear ordering

DOI10.1090/S0002-9939-01-05989-5MaRDI QIDQ2750870zbMATH OpenOpenAlexFDO

Authors Abhijit Dasgupta

Publication date 21 October 2001

Published in Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9939-01-05989-5

zbMATH Keywords

coanalytic setsdescriptive set theorylinear ordertotal order

Mathematics Subject Classification ID

Descriptive set theory (03E15) Total orders (06A05)

Review text

The author constructs a linear ordering \((P,{<_P})\) such that \(P\) is a \(\Pi^1_1\) set of reals and \(<_P\) is a \(\Pi^1_1\) relation, and for any linear ordering \((A,{<_A})\) where \(A\) is a set of reals and \(<_A\) is a \(\boldsymbol\Pi^1_1\) relation, \((A,{<_A})\) is order embeddable into \((P,{<_P})\). In the proof he uses results on Borel embeddings proved by \textit{L. Harrington} and \textit{S. Shelah} [``Counting equivalence classes for co-\(\kappa\)-Souslin relations, D. van Dalen et al. (eds.), Logic Colloquium 1980. Amsterdam etc.: North-Holland, Stud. Logic Found. Math. 108, 147-152 (1982; Zbl 0513.03024)] and by \textit{L. Harrington, D. Marker} and \textit{S. Shelah} [``Borel orderings, Trans. Am. Math. Soc. 310, No. 1, 293-302 (1988; Zbl 0707.03042)].

Recommendations

• Two results on borel orders
• On the quasi-ordering of Borel linear orders under embeddability
• Borel Orderings
• Publication:3483332
• Universal co-analytic sets

Cites work

• Borel Orderings
• Descriptive set theory
• scientific article; zbMATH DE number 3809544 (Why is no real title available?)
• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 1166155 (Why is no real title available?)
• Topology and descriptive set theory

Cited in

(2)

• An ordering linear unification algorithm
• Two results on borel orders

This page was built for publication: A universal coanalytic linear ordering

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2750870)