A Borel reductibility theory for classes of countable structures

Hierarchies of computability and definability (03D55) Descriptive set theory (03E15) Model theory of denumerable and separable structures (03C15) Other infinitary logic (03C75)

Recommendations

Borel structures and Borel theories
scientific article; zbMATH DE number 54531
A generalized Borel-reducibility counterpart of Shelah's main gap theorem
Borel equivalence relations and classifications of countable models
Borel complexity and potential canonical Scott sentences

Cites work

scientific article; zbMATH DE number 3155247 (Why is no real title available?)
scientific article; zbMATH DE number 3090999 (Why is no real title available?)
Hodge cycles, motives, and Shimura varieties
On the necessary use of abstract set theory
Stability of nilpotent groups of class 2 and prime exponent
Theories of linear order

Cited in

(only showing first 100 items - show all)

Borel Reductibility and Classification of von Neumann Algebras
Turing computable embeddings, computable infinitary equivalence, and linear orders
On Borel reducibility in generalized Baire space
scientific article; zbMATH DE number 5722527 (Why is no real title available?)
On the reducibility of isomorphism relations
The isomorphism problem for computable Abelian _p-groups of bounded length
The complexity of the classification problems of finite-dimensional continua
The classification of hypersmooth Borel equivalence relations
Composites of algebraically closed fields
Classes of Ulm type and coding rank-homogeneous trees in other structures
Cofinal families of Borel equivalence relations and quasiorders
Preserving categoricity and complexity of relations
A cofinal family of equivalence relations and Borel ideals generating them
On the isomorphism problem for measures on Boolean algebras
Localized cohomology and some applications of Popa's cocycle superrigidity theorem
Isomorphism relations on computable structures
Comparing Borel reducibility and depth of an $\omega$-stable theory
Comparing classes of finite sums
Linear algebraic groups and countable Borel equivalence relations
Isomorphism of homogeneous structures
Turing computable embeddings of equivalences other than isomorphism
Non-ergodic Banach spaces are near Hilbert
Primitive recursive equivalence relations and their primitive recursive complexity
Computable transformations of structures
scientific article; zbMATH DE number 1547008 (Why is no real title available?)
Borel equivalence relations induced by actions of the symmetric group
Classification problems in continuum theory
Classification from a Computable Viewpoint
Borel completeness of some $\aleph_{0}$-stable theories
Turing computable embeddings
The isomorphism problem for torsion-free abelian groups is analytic complete
Classifying equivalence relations in the Ershov hierarchy
Borel equivalence relations and classifications of countable models
On the complexity of the isomorphism relation for finitely generated groups
On the complexity of the relations of isomorphism and bi-embeddability
The classification of countable models of set theory
The classification of torsion-free abelian groups of finite rank up to isomorphism and up to quasi-isomorphism
Structurable equivalence relations
Countable structures, Ehrenfeucht strategies, and Wadge reductions
On ‐complete equivalence relations on the generalized Baire space
On the number of permutatively inequivalent basic sequences in a Banach space
scientific article; zbMATH DE number 2204765 (Why is no real title available?)
The conjugacy problem for the automorphism group of the random graph
The $\delta_\alpha^0$-computable enumerations of the classes of projective planes
2008 Annual Meeting of the Association for Symbolic Logic
Measuring the classification difficulty of countable torsion-free Abelian groups.
The Borel complexity of isomorphism for o-minimal theories
Categoricity of computable infinitary theories
Borel reducibility as an additive property of domains
THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT
Euclidean algorithm for a class of linear orders
Polish group actions: Dichotomies and generalized elementary embeddings
On the isomorphism problem for some classes of computable algebraic structures
Categoricity spectra for polymodal algebras
Polish ultrametric Urysohn spaces and their isometry groups
The completeness of the isomorphism relation for countable Boolean algebras
On isometry and isometric embeddability between ultrametric Polish spaces
The computable embedding problem
On the classification of positions and complex structures in Banach spaces
On the complexity of the classification problem for torsion-free Abelian groups of finite rank
Degree spectra and computable dimensions in algebraic structures
A classification of orbits admitting a unique invariant measure
Polish metric spaces with fixed distance set
A generalized Borel-reducibility counterpart of Shelah's main gap theorem
The complexity of topological conjugacy of pointed Cantor minimal systems
The complexity of isomorphism for complete theories of linear orders with unary predicates
On $\Sigma_1^1$-completeness of quasi-orders on $\kappa^\kappa$
Using computability to measure complexity of algebraic structures and classes of structures
The classification problem for torsion-free abelian groups of finite rank
Minimal subspaces and isomorphically homogeneous sequences in a Banach space
The tree of tuples of a structure
The classification problem for operator algebraic varieties and their multiplier algebras
Classifying singularities up to analytic extensions of scalars is smooth
On Σ¹ ₁ equivalence relations over the natural numbers
Analytic equivalence relations and bi-embeddability
Infinite-time Turing machines and Borel reducibility
The classification problem for von Neumann factors
On the degree structure of equivalence relations under computable reducibility
On the unique representation of families of sets
On the complexity of the isomorphism relation for fields of finite transcendence degree
Classes of algebraic structures
MOST(?) THEORIES HAVE BOREL COMPLETE REDUCTS
Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete
New jump operators on equivalence relations
On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite $p$-groups
Characterizing the existence of a Borel complete expansion
scientific article; zbMATH DE number 4106830 (Why is no real title available?)
Jump operations for Borel graphs
Uncountable structures are not classifiable up to bi-embeddability
Higher-dimensional obstructions for star reductions
Relative primeness and Borel partition properties for equivalence relations
Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form $X/G$ where $G$ acts on a Polish space $X$
The complexity of continuous embeddability between dendrites
What is $\ldots$ a Borel reduction?
Some dichotomy theorems for isomorphism relations of countable models
Some equivalence relations which are Borel reducible to isomorphism between separable Banach spaces
Borel reducibility and symmetric models
Universality of group embeddability
A note on computable embeddings for ordinals and their reverses
Complete groups are complete co-analytic

This page was built for publication: A Borel reductibility theory for classes of countable structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3033746)