Generalized Descriptive Set Theory and Classification Theory

DOI10.1090/memo/1081zbMath1402.03047arXiv1207.4311OpenAlexW4238157873WikidataQ115942858 ScholiaQ115942858MaRDI QIDQ2925669

Vadim Kulikov, Tapani Hyttinen, Sy-David Friedman

Publication date: 17 October 2014

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

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

Mathematics Subject Classification ID

Descriptive set theory (03E15) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Consistency and independence results (03E35) Classification theory, stability, and related concepts in model theory (03C45) Other infinitary logic (03C75) Set-theoretic model theory (03C55) Other notions of set-theoretic definability (03E47)

Related Items (33)

A Candidate for the Generalised Real Line ⋮ Cichoń's diagram for uncountable cardinals ⋮ Consistency of the Silver dichotomy in generalised Baire space ⋮ Forcing axioms and the complexity of non-stationary ideals ⋮ 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 ⋮ Continuous images of closed sets in generalized Baire spaces ⋮ Special subsets of the generalized Cantor space and generalized Baire space ⋮ Towards a descriptive theory of cb₀-spaces ⋮ On the reducibility of isomorphism relations ⋮ On Borel equivalence relations in generalized Baire space ⋮ Generalized Polish spaces at regular uncountable cardinals ⋮ Laver trees in the generalized Baire space ⋮ PERFECT SUBSETS OF GENERALIZED BAIRE SPACES AND LONG GAMES ⋮ Uncountable structures are not classifiable up to bi-embeddability ⋮ Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences ⋮ Borel $$^{*}$$ Sets in the Generalized Baire Space and Infinitary Languages ⋮ Large cardinals and definable well-orders, without the GCH ⋮ On $\Sigma _1^1$-completeness of quasi-orders on $\kappa ^\kappa $ ⋮ On the complexity of classes of uncountable structures: trees on $\aleph _1$ ⋮ A generalized Borel-reducibility counterpart of Shelah's main gap theorem ⋮ Δ₁-Definability of the non-stationary ideal at successor cardinals ⋮ Extremal triangle-free and odd-cycle-free colourings of uncountable graphs ⋮ Regularity properties on the generalized reals ⋮ Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions ⋮ Coxeter groups and abstract elementary classes: the right-angled case ⋮ Fake reflection ⋮ The isomorphism relation of theories with S-DOP in the generalised Baire spaces ⋮ Closed maximality principles and generalized Baire spaces ⋮ A descriptive Main Gap Theorem ⋮ Inclusion modulo nonstationary ⋮ NS SATURATED AND -DEFINABLE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On Borel equivalence relations in generalized Baire space
• The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
• Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
• Set theory. An introduction to independence proofs
• Borel sets via games
• Constructing strongly equivalent nonisomorphic models for unstable theories
• Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
• The uncountable spectra of countable theories
• On potential isomorphism and non-structure
• The number of non-isomorphic models of an unstable first-order theory
• A combinatorial problem; stability and order for models and theories in infinitary languages
• On strong measure zero subsets of^κ2
• A complicated ω-stable depth 2 theory
• Consistency of the Silver dichotomy in generalised Baire space
• Diamonds
• Counting the number of equivalence classes of Borel and coanalytic equivalence relations
• A Glimm-Effros Dichotomy for Borel Equivalence Relations
• Invariant sets in topology and logic
• Higher Souslin trees and the generalized continuum hypothesis
• L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
• Trees and -subsets of ^ω1ω₁
• A Note on Borel Equivalence Relations
• The Canary Tree
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
• The canary tree revisited
• Linear algebraic groups and countable Borel equivalence relations
• Stationary sets and infinitary logic
• Set Theory
• Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B

This page was built for publication: Generalized Descriptive Set Theory and Classification Theory