A universal coanalytic linear ordering

A universal coanalytic linear ordering
HTML articles powered by AMS MathViewer

by Abhijit Dasgupta PDF

Proc. Amer. Math. Soc. 129 (2001), 3715-3719

We construct a $\Pi ^1_1$ linear ordering in which every $\boldsymbol {\Pi ^1_1}$ (coanalytic) linear ordering can be order embedded.

References

Leo Harrington and Saharon Shelah, Counting equivalence classes for co-$\kappa$-Souslin equivalence relations, Logic Colloquium ’80 (Prague, 1980) Studies in Logic and the Foundations of Mathematics, vol. 108, North-Holland, Amsterdam-New York, 1982, pp. 147–152. MR 673790
Leo Harrington, David Marker, and Saharon Shelah, Borel orderings, Trans. Amer. Math. Soc. 310 (1988), no. 1, 293–302. MR 965754, DOI 10.1090/S0002-9947-1988-0965754-3
A. S. Kechris, Classical Descriptive Set Theory, Springer-Verlag, 1994.
Yiannis N. Moschovakis, Descriptive set theory, Studies in Logic and the Foundations of Mathematics, vol. 100, North-Holland Publishing Co., Amsterdam-New York, 1980. MR 561709
Joseph G. Rosenstein, Linear orderings, Pure and Applied Mathematics, vol. 98, Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1982. MR 662564
S. M. Srivastava, A course on Borel sets, Graduate Texts in Mathematics, vol. 180, Springer-Verlag, New York, 1998. MR 1619545, DOI 10.1007/978-3-642-85473-6