The descriptive set-theoretical complexity of the embeddability relation on models of large size

2011/12/01 by Ros, Luca Motto · 1 citation
#03C75 #03E02 #03E10 #03E15 #03E55 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1112.0354

Abstract

We show that if κ is a weakly compact cardinal then the embeddability relation on (generalized) trees of size κ is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^κ there is an L_{κ⁺ κ}-sentence ϕ such that the embeddability relation on its models of size κ, which are all trees, is Borel bireducible (and, in fact, classwise Borel isomorphic) to R. In particular, this implies that the relation of embeddability on trees of size κ is complete for analytic quasi-orders. These facts generalize analogous results for κ=ω obtained in [LR05, FMR11], and it also partially extends a result from [Bau76] concerning the structure of the embeddability relation on linear orders of size κ.

Cited by

• On Borel subsets of generalized Baire spaces

Related

• Universal countable Borel quasi-orders
• Souslin quasi-orders and bi-embeddability of uncountable structures
• A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
• Representing embeddability as set inclusion
• A descriptive Main Gap Theorem