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 bi-reducible (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 on 2^κ. 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 κ.

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

MOTTO ROS, Luca
2013-01-01

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 bi-reducible (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 on 2^κ. 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 κ.
2013
164
1454
1492
http://arxiv.org/pdf/1112.0354v3
Generalised Descriptive Set Theory; Generalised Cantor space; Embeddability relation; Invariant universality; Weakly compact cardinals; Infinitary logics
MOTTO ROS L
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/148729
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 12
  • ???jsp.display-item.citation.isi??? 12
social impact