English

Uncountable structures are not classifiable up to bi-embeddability

Logic 2021-02-18 v1

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].

Keywords

Cite

@article{arxiv.1903.08091,
  title  = {Uncountable structures are not classifiable up to bi-embeddability},
  author = {Filippo Calderoni and Heike Mildenberger and Luca Motto Ros},
  journal= {arXiv preprint arXiv:1903.08091},
  year   = {2021}
}

Comments

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

R2 v1 2026-06-23T08:13:01.758Z