Souslin quasi-orders and bi-embeddability of uncountable structures

DOI10.1090/memo/1365OpenAlexW2922324315MaRDI QIDQ5097134

Luca Motto Ros, Alessandro Andretta

Publication date: 19 August 2022

Published in: Memoirs of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

determinacynon-separable Banach spacesgeneralized descriptive set theoryinfinitary logicsuncountable structuresnon-separable metric spaces(bi-)embeddability\( \kappa \)-souslin sets

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45) Ordinal and cardinal numbers (03E10) Determinacy principles (03E60) Other notions of set-theoretic definability (03E47)

Related Items (4)

Ideal topologies in higher descriptive set theory ⋮ Partition properties for simply definable colourings ⋮ Can we classify complete metric spaces up to isometry? ⋮ Generalized Polish spaces at regular uncountable cardinals

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on hierarchies of Borel type sets
• Isometry of Polish metric spaces
• The descriptive set-theoretical complexity of the embeddability relation on models of large size
• A Dedekind finite Borel set
• Continuous images of closed sets in generalized Baire spaces
• Large cardinals imply that every reasonably definable set of reals is Lebesgue measurable
• Some natural equivalence relations in the Solovay model
• On Lusin's restricted continuum problem
• Set theory. An introduction to independence proofs
• Fixed point sets of autohomeomorphisms of uncountable products
• On Souslin sets and embeddings in integer-valued function spaces on \(\omega_1\)
• Can we classify complete metric spaces up to isometry?
• On isometry and isometric embeddability between ultrametric Polish spaces
• Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form \(X/G\) where \(G\) acts on a Polish space \(X\)
• On nice equivalence relations on \(^\lambda 2\)
• Topics in orbit equivalence
• Polish metric spaces with fixed distance set
• On co-\(\kappa\)-Souslin relations
• Analytic sets of reals and the density function in the Cantor space
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• Properties of ideals on the generalized Cantor spaces
• On strong measure zero subsets of^κ2
• Polish Metric Spaces: Their Classification and Isometry Groups
• Invariantly universal analytic quasi-orders
• Generalized Descriptive Set Theory and Classification Theory
• 𝐴𝐷 and the very fine structure of 𝐿(ℝ)
• A Borel reductibility theory for classes of countable structures
• An Outline of Inner Model Theory
• Structural Consequences of AD
• Large Cardinals from Determinacy
• Analytic equivalence relations and bi-embeddability
• CHAIN MODELS, TREES OF SINGULAR CARDINALITY AND DYNAMIC EF-GAMES
• Computing the complexity of the relation of isometry between separable Banach spaces
• Borel Orderings
• The complexity of classifying separable Banach spaces up to isomorphism
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• The axiom of determinacy implies dependent choices in L(R)
• A complete L_ω1ω-sentence characterizing ℵ₁
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• On projective ordinals
• Invariant sets in topology and logic
• Long projective wellorderings
• Analytic determinacy and 0^#
• The universal Urysohn space, Gromov metric triples and random metrics on the natural numbers
• New Directions in Descriptive Set Theory
• Trees and -subsets of ^ω1ω₁
• An Ulm-type classification theorem for equivalence relations in Solovay model
• Linear algebraic groups and countable Borel equivalence relations
• Stationary sets and infinitary logic
• On equivalence relations second order definable over H(κ)
• The bi-embeddability relation for countable abelian groups
• Spaces for Which the Generalized Cantor Space 2 J is a Remainder
• Set Theory
• On the classification of Polish metric spaces up to isometry
• A dichotomy for the definable universe
• Analytic equivalence relations and Ulm-type classifications
• Uncountable structures are not classifiable up to bi-embeddability
• On ‐complete equivalence relations on the generalized Baire space
• Complete analytic equivalence relations
• Isomorphism relations on computable structures
• On the complexity of the relations of isomorphism and bi-embeddability
• Classifying Borel automorphisms
• PFA implies AD^L(ℝ)
• THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
• Infinitary logic and admissible sets
• Internal cohen extensions
• Spaces homeomorphic to $\left( {2^\alpha } \right)_\alpha$
• Paracompactness and product spaces
• Strong dichotomy of cardinality

This page was built for publication: Souslin quasi-orders and bi-embeddability of uncountable structures