Uncountable structures are not classifiable up to bi-embeddability

Abstract

Answering some of the main questions from [MR13], we show that whenever $\kappa$ is a cardinal satisfying ${\kappa }^{<\kappa }=\kappa >\omega$, then the embeddability relation between $\kappa$-sized structures is strongly invariantly universal, and hence complete for ($\kappa$-)analytic quasi-orders. We also prove that in the above result we can further restrict our attention to various natural classes of structures, including (generalized) trees, graphs, or groups. This fully generalizes to the uncountable case the main results of [LR05,FMR11,Wil14,CMR17].

arXiv comment37 pages, submitted. arXiv admin note: text overlap with arXiv:1112.0354

References in corpus (5)

• Invariantly universal analytic quasi-orders
• On isometry and isometric embeddability between ultrametric Polish spaces
• The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism
• The Hurewicz dichotomy for generalized Baire spaces
• Universality of group embeddability