Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)



Invariantly universal analytic quasi-orders

Authors: Riccardo Camerlo, Alberto Marcone and Luca Motto Ros
Journal: Trans. Amer. Math. Soc. 365 (2013), 1901-1931
MSC (2010): Primary 03E15
Published electronically: October 11, 2012
MathSciNet review: 3009648
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: We introduce the notion of an invariantly universal pair $ (S,E)$ where $ S$ is an analytic quasi-order and $ E\subseteq S$ is an analytic equivalence relation. This means that for any analytic quasi-order $ R$ there is a Borel set $ B$ invariant under $ E$ such that $ R$ is Borel bireducible with the restriction of $ S$ to $ B$. We prove a general result giving a sufficient condition for invariant universality, and we demonstrate several applications of this theorem by showing that the phenomenon of invariant universality is widespread. In fact it occurs for a great number of complete analytic quasi-orders, arising in different areas of mathematics, when they are paired with natural equivalence relations.

References [Enhancements On Off] (What's this?)

  • [BK96] Howard Becker and Alexander S. Kechris.
    The descriptive set theory of Polish group actions, volume 232 of London Mathematical Society Lecture Note Series.
    Cambridge University Press, Cambridge, 1996. MR 1425877 (98d:54068)
  • [Cam05a] Riccardo Camerlo.
    Universal analytic preorders arising from surjective functions.
    Fund. Math., 187(3):193-212, 2005. MR 2213934 (2007f:03066)
  • [Cam05b] Riccardo Camerlo.
    Universality of embeddability relations for coloured total orders.
    Order, 22(3):289-300 (2006), 2005. MR 2212690 (2007e:06001)
  • [CDM05] Riccardo Camerlo, Udayan B. Darji, and Alberto Marcone.
    Classification problems in continuum theory.
    Trans. Amer. Math. Soc., 357(11):4301-4328 (electronic), 2005. MR 2156712 (2006f:03077)
  • [FMR11] Sy-David Friedman and Luca Motto Ros.
    Analytic equivalence relations and bi-embeddability.
    J. Symbolic Logic, 76(1):243-266, 2011. MR 2791347 (2012b:03128)
  • [FS89] Harvey Friedman and Lee Stanley.
    A Borel reducibility theory for classes of countable structures.
    J. Symbolic Logic, 54(3):894-914, 1989. MR 1011177 (91f:03062)
  • [GK03] Su Gao and Alexander S. Kechris.
    On the classification of Polish metric spaces up to isometry.
    Mem. Amer. Math. Soc., 161(766):viii+78, 2003. MR 1950332 (2004b:03067)
  • [Kau00] Robert Kaufman.
    PCA sets and convexity.
    Fund. Math., 163(3):267-275, 2000. MR 1758328 (2001d:54031)
  • [Kec95] Alexander S. Kechris.
    Classical descriptive set theory, volume 156 of Graduate Texts in Mathematics.
    Springer-Verlag, New York, 1995. MR 1321597 (96e:03057)
  • [LR05] Alain Louveau and Christian Rosendal.
    Complete analytic equivalence relations.
    Trans. Amer. Math. Soc., 357(12):4839-4866 (electronic), 2005. MR 2165390 (2006d:03081)
  • [MR04] Alberto Marcone and Christian Rosendal.
    The complexity of continuous embeddability between dendrites.
    J. Symbolic Logic, 69(3):663-673, 2004. MR 2078915 (2005e:03106)
  • [MR11] Luca Motto Ros.
    On the complexity of the relations of isomorphism and bi-embeddability.
    Proc. Amer. Math. Soc., 140 (2012), no. 1, 309-323. MR 2833542 (2012f:03095)

Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC (2010): 03E15

Retrieve articles in all journals with MSC (2010): 03E15

Additional Information

Riccardo Camerlo
Affiliation: Dipartimento di Matematica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129 Torino, Italy

Alberto Marcone
Affiliation: Dipartimento di Matematica e Informatica, Università di Udine, viale delle Scienze 206, 33100 Udine, Italy

Luca Motto Ros
Affiliation: Kurt Gödel Research Center for Mathematical Logic, University of Vienna, Währinger Straße 25, A-1090 Vienna, Austria
Address at time of publication: Albert-Ludwigs-Universität Freiburg, Mathematisches Institut – Abteilung für Mathematische Logik, Eckerstraße, 1, D-79104 Freiburg im Breisgau, Germany

Keywords: Analytic equivalence relations, analytic quasi-orders, Borel reducibility, completeness, invariant universality, colored linear orders, dendrites, (ultrametric) Polish spaces, separable Banach spaces
Received by editor(s): March 25, 2010
Received by editor(s) in revised form: May 2, 2011
Published electronically: October 11, 2012
Additional Notes: The first author’s research was partially supported by FWF (Austrian Research Fund) through Project number P 19898-N18. The third author’s research was supported by FWF through Project number P 19898-N18. The second author’s research was partially supported by FWF through Project number P 19898-N18 and by PRIN of Italy.
Article copyright: © Copyright 2012 American Mathematical Society
The copyright for this article reverts to public domain 28 years after publication.

American Mathematical Society