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

DOI10.1016/J.APAL.2013.06.018zbMATH Open1320.03077arXiv1112.0354OpenAlexW2963197018MaRDI QIDQ490674FDOQ490674

Authors: Luca Motto Ros 

Publication date: 27 August 2015

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Abstract: We show that if kappa is a weakly compact cardinal then the embeddability relation on (generalized) trees of size kappa is invariantly universal. This means that for every analytic quasi-order R on the generalized Cantor space 2^kappa there is an L_{kappa^+ kappa}-sentence phi such that the embeddability relation on its models of size kappa, 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 kappa is complete for analytic quasi-orders. These facts generalize analogous results for kappa=omega 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 kappa.

Full work available at URL: https://arxiv.org/abs/1112.0354

Recommendations

• Uncountable structures are not classifiable up to bi-embeddability
• The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
• On \(\Sigma_1^1\)-completeness of quasi-orders on \(\kappa^\kappa\)
• A dichotomy theorem for the generalized Baire space and elementary embeddability at uncountable cardinals
• JSL volume 79 issue 2 Cover and Back matter

zbMATH Keywords

embeddability relationgeneralised Cantor spacegeneralised descriptive set theoryinfinitary logicsinvariant universalityweakly compact cardinals

Mathematics Subject Classification ID

Partition relations (03E02) Descriptive set theory (03E15) Large cardinals (03E55)

Cited In (16)

• The complexity of continuous embeddability between dendrites
• Square compactness and the filter extension property
• Generalized Choquet spaces
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Optimal embedding of Meyer sets into model sets
• The definable content of homological invariants. I: \( \mathrm{Ext}\) and \(\lim^1\)
• On middle box products and paracompact cardinals
• On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $
• Universality of embeddability relations for coloured total orders
• On ‐complete equivalence relations on the generalized Baire space
• Can we classify complete metric spaces up to isometry?
• Questions on generalised Baire spaces
• The Hurewicz dichotomy for generalized Baire spaces
• THE COMPLEXITY OF THE EMBEDDABILITY RELATION BETWEEN TORSION-FREE ABELIAN GROUPS OF UNCOUNTABLE SIZE
• Uncountable structures are not classifiable up to bi-embeddability
• Generalized Polish spaces at regular uncountable cardinals

This page was built for publication: The descriptive set-theoretical complexity of the embeddability relation on models of large size

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q490674)