New Directions in Descriptive Set Theory
This paper is based on the Gödel lecture given by the author at the April 1998 meeting of the Association for Symbolic Logic in Toronto. It is a survey of recent results in descriptive set theory and focuses mainly on the classification of Borel and analytic equivalence relations on Polish spaces. Such equivalence relations are widespread in mathematics and can be classified using the notion of Borel reduction: this reduction can also be interpreted as a statement about the definable cardinality of the quotient space or about the complexity of the classification problem for the equivalence relation. A lot of progress has been done in the last few years in this area, and the author is one of the main contributors. After a first part where motivations and background are given, the paper deals mainly with Borel equivalence relations (especially the countable ones) and orbit equivalence relations induced by a Borel action of a Polish group. Among the latter the ones induced by the infinite symmetric group are strictly related to model theory, leading to the formulation and study of the Topological Vaught Conjecture. The survey includes references to all relevant literature (up to the 1999 result of Adams and Kechris that there are uncountably many incomparable countable Borel equivalence relations), and states some important conjectures.
- Analytic Ideals
- Borel equivalence relations and classifications of countable models
- Borel equivalence relations induced by actions of the symmetric group
- Cabal seminar 81-85. Proceedings, Caltech-UCLA logic seminar 1981-1985, Los Angeles, CA (USA)
- Counting the number of equivalence classes of Borel and coanalytic equivalence relations
- Descriptive set theory
- Ergodic theory of amenable group actions. I: The Rohlin lemma
- Measurable dynamics
- New Dichotomies for Borel Equivalence Relations
- The classification of hypersmooth Borel equivalence relations
- Transformation groups and C^ *-algebras
- Some natural equivalence relations in the Solovay model
- Topology and descriptive set theory
- Degree spectra and computable dimensions in algebraic structures
- Transfinite sequences of topologies, descriptive complexity, and approximating equivalence relations
- Completeness of the hyperarithmetic isomorphism equivalence relation
- A cofinal family of equivalence relations and Borel ideals generating them
- Some equivalence relations which are Borel reducible to isomorphism between separable Banach spaces
- The countable admissible ordinal equivalence relation
- On the reducibility of monadic equivalence relations
- Anti-classification results for groups acting freely on the line
- Generalized descriptive set theory and classification theory
- Borel equivalence relations
- On Σ1 1 equivalence relations over the natural numbers
- scientific article; zbMATH DE number 6010989 (Why is no real title available?)
- Borel equivalence relations and cardinal algebras
- Towards the Effective Descriptive Set Theory
- Equivalence relations in set theory, computation theory, model theory and complexity theory
- Descriptive set theory over hyperfinite sets
- Invariant descriptive set theory
- Borel equivalence relations. Structure and classification
- Equivalence Relations on Classes of Computable Structures
- scientific article; zbMATH DE number 4068856 (Why is no real title available?)
- Dual easy uniformization and model-theoretic descriptive set theory
- scientific article; zbMATH DE number 3475399 (Why is no real title available?)
- Lattice properties of congruences for stochastic relations
- scientific article; zbMATH DE number 976831 (Why is no real title available?)
- scientific article; zbMATH DE number 1959538 (Why is no real title available?)
- scientific article; zbMATH DE number 1984269 (Why is no real title available?)
- Linear algebraic groups and countable Borel equivalence relations
- scientific article; zbMATH DE number 1522817 (Why is no real title available?)
- COUNTABLE BOREL EQUIVALENCE RELATIONS
- scientific article; zbMATH DE number 218589 (Why is no real title available?)
- scientific article; zbMATH DE number 3997776 (Why is no real title available?)
- scientific article; zbMATH DE number 1388189 (Why is no real title available?)
- Souslin quasi-orders and bi-embeddability of uncountable structures
- A recursion theoretic characterization of the topological Vaught conjecture in the Zermelo-Fraenkel set theory
- Modular actions and amenable representations
- Uniformity, universality, and computability theory
- Complete analytic equivalence relations
- scientific article; zbMATH DE number 2204765 (Why is no real title available?)
- THE CLASSIFICATION PROBLEM FOR AUTOMORPHISMS OF C*-ALGEBRAS
- Isomorphism relations on computable structures
- Descriptive set theory and uncountable model theory
- Kolmogorov complexity and the geometry of Brownian motion
- On work in descriptive set theory carried out at the Mathematical Institute of the Academy of Sciences
- CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
- The effective theory of Borel equivalence relations
- A counterexample regarding an equivalence relation on a product space
- Fundamental groups and descriptive set theory
- Towards a descriptive set theory for domain-like structures
- A weak dichotomy below \(\mathrm{E}_1\times\mathrm{E}_3\)
This page was built for publication: New Directions in Descriptive Set Theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4262602)
