A Borel reductibility theory for classes of countable structures

DOI10.2307/2274750MaRDI QIDQ3033746zbMATH OpenOpenAlexFDO

Authors Harvey M. Friedman, Lee J. Stanley

Publication date 1989

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2274750

zbMATH Keywords

Borel completenessBorel reducibilityBorel-measurable functionCantor spacefields of characteristic 0invariant Borel classlinear orders

Mathematics Subject Classification ID

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

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

• Hodge cycles, motives, and Shimura varieties
• scientific article; zbMATH DE number 3155247 (Why is no real title available?)
• scientific article; zbMATH DE number 3090999 (Why is no real title available?)
• 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)

• Categoricity of computable infinitary theories
• The classification problem for von Neumann factors
• Isomorphism of homogeneous structures
• Borel equivalence relations induced by actions of the symmetric group
• On the complexity of the isomorphism relation for finitely generated groups
• Measuring the classification difficulty of countable torsion-free Abelian groups.
• Countable structures with a fixed group of automorphisms
• Degree spectra and computable dimensions in algebraic structures
• Complete groups are complete co-analytic
• Can we classify complete metric spaces up to isometry?
• On isometry and isometric embeddability between ultrametric Polish spaces
• Actions of rigid groups on UHF-algebras
• Orbit cardinals: On the effective cardinalities arising as quotient spaces of the form X/G where G acts on a Polish space X
• The homeomorphism problem for countable topological spaces
• Polish metric spaces with fixed distance set
• Computable transformations of structures
• Turing computable embeddings, computable infinitary equivalence, and linear orders
• Computable embeddings for pairs of linear orders
• A note on computable embeddings for ordinals and their reverses
• Completeness of the hyperarithmetic isomorphism equivalence relation
• On the isomorphism problem for some classes of computable algebraic structures
• Dynamical simplices and Borel complexity of orbit equivalence
• Classifying equivalence relations in the Ershov hierarchy
• On the isomorphism problem for measures on Boolean algebras
• Using computability to measure complexity of algebraic structures and classes of structures
• Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions
• On the degree structure of equivalence relations under computable reducibility
• The complexity of the classification problems of finite-dimensional continua
• 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 complexity of the topological conjugacy problem for Toeplitz subshifts
• Minimal subspaces and isomorphically homogeneous sequences in a Banach space
• Universality of embeddability relations for coloured total orders
• On the number of permutatively inequivalent basic sequences in a Banach space
• Learning algebraic structures with the help of Borel equivalence relations
• Anti-classification results for groups acting freely on the line
• The prospects for mathematical logic in the twenty-first century
• Some dichotomy theorems for isomorphism relations of countable models
• On the complexity of the classification problem for torsion-free Abelian groups of finite rank
• Comparing classes of finite sums
• Invariantly universal analytic quasi-orders
• On Borel reducibility in generalized Baire space
• A Descriptive View of Combinatorial Group Theory
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Borel structures and Borel theories
• Analytic equivalence relations and bi-embeddability
• Non-isomorphism invariant Borel quantifiers
• On Σ¹ ₁ equivalence relations over the natural numbers
• Universality of group embeddability
• The relation of recursive isomorphism for countable structures
• The complexity of classification problems for models of arithmetic
• Classes of Ulm type and coding rank-homogeneous trees in other structures
• Invariant universality for quandles and fields
• On the classification of automorphisms of trees
• A classification of orbits admitting a unique invariant measure
• The isomorphism problem for computable Abelian _p-groups of bounded length
• Classification from a Computable Viewpoint
• scientific article; zbMATH DE number 5722527 (Why is no real title available?)
• Infinite-time Turing machines and Borel reducibility
• 2008 Annual Meeting of the Association for Symbolic Logic
• Borel Reductibility and Classification of von Neumann Algebras
• scientific article; zbMATH DE number 4106830 (Why is no real title available?)
• Countable structures, Ehrenfeucht strategies, and Wadge reductions
• scientific article; zbMATH DE number 54531 (Why is no real title available?)
• Polish group actions: Dichotomies and generalized elementary embeddings
• Linear algebraic groups and countable Borel equivalence relations
• The completeness of the isomorphism relation for countable Boolean algebras
• scientific article; zbMATH DE number 1547008 (Why is no real title available?)
• There is no classification of the decidably presentable structures
• Structurable equivalence relations
• The classification problem for operator algebraic varieties and their multiplier algebras
• Jump operations for Borel graphs
• The bi-embeddability relation for countable abelian groups
• What is a Borel reduction?
• The class of non-Desarguesian projective planes is Borel complete
• Non-ergodic Banach spaces are near Hilbert
• The classification problem for torsion-free abelian groups of finite rank
• The Complexity of the Collection of Countable Linear Orders of the form I + I
• The Borel complexity of isomorphism for o-minimal theories
• On Borel complexity of the isomorphism problems for graph related classes of Lie algebras and finite p-groups
• Relative primeness and Borel partition properties for equivalence relations
• Higher-dimensional obstructions for star reductions
• DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
• New jump operators on equivalence relations
• Primitive recursive equivalence relations and their primitive recursive complexity
• The tree of tuples of a structure
• Souslin quasi-orders and bi-embeddability of uncountable structures
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP
• On the reducibility of isomorphism relations
• Uncountable structures are not classifiable up to bi-embeddability
• The classification of countable models of set theory
• Borel reducibility and symmetric models
• Categoricity spectra for polymodal algebras
• On _1¹-completeness of quasi-orders on ^
• CODING IN GRAPHS AND LINEAR ORDERINGS
• Equivalence of codes for countable sets of reals
• On the classification of positions and complex structures in Banach spaces
• On ‐complete equivalence relations on the generalized Baire space
• Torsion-free abelian groups are consistently $ {\rm a}\Delta ^1_2$-complete
• THE QUANDARY OF QUANDLES: A BOREL COMPLETE KNOT INVARIANT

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)