Generalized descriptive set theory and classification theory
From MaRDI portal
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55) Other infinitary logic (03C75) Descriptive set theory (03E15) Consistency and independence results (03E35) Other notions of set-theoretic definability (03E47)
Abstract: Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.
Recommendations
Cites work
- A combinatorial problem; stability and order for models and theories in infinitary languages
- A complicated -stable depth 2 theory
- A Glimm-Effros Dichotomy for Borel Equivalence Relations
- A Note on Borel Equivalence Relations
- Borel sets via games
- Consistency of the Silver dichotomy in generalised Baire space
- Constructing strongly equivalent nonisomorphic models for unstable theories
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part A
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories, Part C
- Constructing strongly equivalent nonisomorphic models for unsuperstable theories. Part B
- Counting the number of equivalence classes of Borel and coanalytic equivalence relations
- Diamonds
- Existence of many \(L_{\infty,\lambda}\)-equivalent, non-isomorphic models of T of power \(\lambda\)
- Higher Souslin trees and the generalized continuum hypothesis
- scientific article; zbMATH DE number 5853298 (Why is no real title available?)
- scientific article; zbMATH DE number 3906482 (Why is no real title available?)
- scientific article; zbMATH DE number 1163933 (Why is no real title available?)
- scientific article; zbMATH DE number 936680 (Why is no real title available?)
- scientific article; zbMATH DE number 3399227 (Why is no real title available?)
- Invariant sets in topology and logic
- L ∞λ -Equivalence, Isomorphism and Potential Isomorphism
- Linear algebraic groups and countable Borel equivalence relations
- On Borel equivalence relations in generalized Baire space
- On potential isomorphism and non-structure
- On strong measure zero subsets of \({}^\kappa 2\)
- Relative separation theorems for \(\mathcal L _{\kappa^ + \kappa}\)
- Set Theory
- Set theory. An introduction to independence proofs
- Stationary sets and infinitary logic
- The Canary Tree
- The canary tree revisited
- The number of non-isomorphic models of an unstable first-order theory
- The spectrum problem. I: \(\aleph_{\epsilon}\)-saturated models, the main gap
- The uncountable spectra of countable theories
- Trees and -subsets of ω1ω1
Cited in
(42)- Cichoń's diagram for uncountable cardinals
- Can we classify complete metric spaces up to isometry?
- Extremal triangle-free and odd-cycle-free colourings of uncountable graphs
- Fake reflection
- The isomorphism relation of theories with S-DOP in the generalised Baire spaces
- Descriptive set theory, from Cantor to Wadge and beyond
- Forcing axioms and the complexity of non-stationary ideals
- Kurepa trees and spectra of \(\mathcal{L}_{\omega_1, \omega}\)-sentences
- Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions
- Coxeter groups and abstract elementary classes: the right-angled case
- Closed maximality principles and generalized Baire spaces
- A candidate for the generalised real line
- Consistency of the Silver dichotomy in generalised Baire space
- Borel* sets in the generalized Baire space and infinitary languages
- On Borel equivalence relations in generalized Baire space
- Learning Theory and Descriptive Set Theory
- The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
- Towards a descriptive theory of cb\(_{0}\)-spaces
- Perfect subsets of generalized Baire spaces and long games
- Large cardinals and definable well-orders, without the GCH
- A descriptive Main Gap Theorem
- NS SATURATED AND -DEFINABLE
- Souslin quasi-orders and bi-embeddability of uncountable structures
- COMPLEXITY OF INDEX SETS OF DESCRIPTIVE SET-THEORETIC NOTIONS
- On the reducibility of isomorphism relations
- Uncountable structures are not classifiable up to bi-embeddability
- On _1¹-completeness of quasi-orders on ^
- On the complexity of classes of uncountable structures: trees on $\aleph _1$
- Δ1-Definability of the non-stationary ideal at successor cardinals
- A generalized Borel-reducibility counterpart of Shelah's main gap theorem
- Descriptive set theory and uncountable model theory
- Regularity properties on the generalized reals
- Special subsets of the generalized Cantor space and generalized Baire space
- Generalized Polish spaces at regular uncountable cardinals
- Laver trees in the generalized Baire space
- Strong measure zero sets ON 2^ for inaccessible
- Piecewise convex embeddability on linear orders
- On unsuperstable theories in GDST
- Models of an abstract elementary class as a Generalized Polish Space
- Inclusion modulo nonstationary
- Towards a descriptive set theory for domain-like structures
- Continuous images of closed sets in generalized Baire spaces
This page was built for publication: Generalized descriptive set theory and classification theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2925669)
