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

Cantor spacelinear ordersBorel reducibilityBorel completenessBorel-measurable functionfields of characteristic 0invariant Borel class

Mathematics Subject Classification ID

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)

• 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
• Equivalence of codes for countable sets of reals
• Actions of rigid groups on UHF-algebras
• Basis problem for turbulent actions. I: Tsirelson submeasures
• Computable embeddings and strongly minimal theories
• There is no classification of the decidably presentable structures
• Polish groupoids and functorial complexity
• Computable embeddings for pairs of linear orders
• Souslin quasi-orders and bi-embeddability of uncountable structures
• Dynamical simplices and Borel complexity of orbit equivalence
• A non-classification result for wild knots
• Invariantly universal analytic quasi-orders
• Learning algebraic structures with the help of Borel equivalence relations
• COMPUTABLE REDUCIBILITY OF EQUIVALENCE RELATIONS AND AN EFFECTIVE JUMP OPERATOR
• Completeness of the hyperarithmetic isomorphism equivalence relation
• Universality of embeddability relations for coloured total orders
• DEGREE SPECTRA OF ANALYTIC COMPLETE EQUIVALENCE RELATIONS
• The bi-embeddability relation for countable abelian groups
• Countable structures with a fixed group of automorphisms
• INTERPRETING A FIELD IN ITS HEISENBERG GROUP
• Invariant universality for quandles and fields
• Can we classify complete metric spaces up to isometry?
• Non-isomorphism invariant Borel quantifiers
• The relation of recursive isomorphism for countable structures
• A Descriptive View of Combinatorial Group Theory
• Borel structures and Borel theories
• 2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10
• Borel sets, countable models
• CONTINUOUS LOGIC AND BOREL EQUIVALENCE RELATIONS
• Reducibility of equivalence relations arising from nonstationary ideals under large cardinal assumptions
• The Complexity of the Collection of Countable Linear Orders of the form I + I
• Computable embeddability for algebraic structures
• The complexity of classification problems for models of arithmetic
• Borel complexity and potential canonical Scott sentences
• The class of non-Desarguesian projective planes is Borel complete
• Anti-classification results for groups acting freely on the line
• scientific article; zbMATH DE number 54531 (Why is no real title available?)
• The complexity of the topological conjugacy problem for Toeplitz subshifts
• A classification of ordinals up to Borel isomorphism
• The homeomorphism problem for countable topological spaces
• CODING IN GRAPHS AND LINEAR ORDERINGS
• The prospects for mathematical logic in the twenty-first century
• On the classification of automorphisms of trees
• 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
• 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

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)