On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $

DOI10.4064/fm679-1-2020zbMath1485.03198arXiv1804.02213OpenAlexW3025950218MaRDI QIDQ5146424

Miguel Moreno, Tapani Hyttinen, Vadim Kulikov

Publication date: 25 January 2021

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

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

zbMATH Keywords

reducibilityembeddabilitygeneralized descriptive set theoryquasi-ordersgeneralized Baire space\(\Sigma 11\)-completeness

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Related Items (2)

The isomorphism relation of theories with S-DOP in the generalised Baire spaces ⋮ Inclusion modulo nonstationary

Cites Work

• Unnamed Item
• The descriptive set-theoretical complexity of the embeddability relation on models of large size
• A generalized Borel-reducibility counterpart of Shelah's main gap theorem
• Stationary cardinals
• Subtle cardinals and linear orderings
• On strong measure zero subsets of^κ2
• Generalized Descriptive Set Theory and Classification Theory
• On Borel reducibility in generalized Baire space
• A Borel reductibility theory for classes of countable structures
• Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages
• A new class of order types
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
• Δ₁-Definability of the non-stationary ideal at successor cardinals
• On ‐complete equivalence relations on the generalized Baire space
• The classification of hypersmooth Borel equivalence relations

This page was built for publication: On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $