On ‐complete equivalence relations on the generalized Baire space
From MaRDI portal
Publication:5179275
DOI10.1002/MALQ.201200063zbMath1364.03068arXiv1209.3932OpenAlexW2592362565MaRDI QIDQ5179275
Tapani Hyttinen, Vadim Kulikov
Publication date: 19 March 2015
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.3932
stable theoryequivalence relationgeneralized Baire spaceisomorphism relation\(\Sigma_1^1\)-completenessdesciptive complexity
Descriptive set theory (03E15) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)
Related Items (8)
THE COMPLEXITY OF THE EMBEDDABILITY RELATION BETWEEN TORSION-FREE ABELIAN GROUPS OF UNCOUNTABLE SIZE ⋮ Can we classify complete metric spaces up to isometry? ⋮ Souslin quasi-orders and bi-embeddability of uncountable structures ⋮ On the reducibility of isomorphism relations ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $ ⋮ Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions ⋮ The isomorphism relation of theories with S-DOP in the generalised Baire spaces
Cites Work
- Unnamed Item
- The descriptive set-theoretical complexity of the embeddability relation on models of large size
- Borel sets via games
- Constructing strongly equivalent nonisomorphic models for unstable theories
- On the \(\kappa\)-cub game on \(\lambda\) and \(I[\lambda\)]
- Club-guessing and non-structure of trees
- A Borel reductibility theory for classes of countable structures
- Trees and -subsets of ω1ω1
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
- Classes of structures with universe a subset of 1
This page was built for publication: On ‐complete equivalence relations on the generalized Baire space