JSL volume 79 issue 2 Cover and Back matter

DOI10.1017/JSL.2013.35MaRDI QIDQ2933683zbMATH OpenOpenAlexFDO

Authors Jay Williams

Publication date 5 December 2014

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

Full work available at URL https://arxiv.org/abs/1306.1270, https://resolver.caltech.edu/CaltechAUTHORS:20150116-095411728

zbMATH Keywords

group theorymonoidsBorel equivalence relationsquasi-orderssmall cancellation

Mathematics Subject Classification ID

Descriptive set theory (03E15) Cancellation theory of groups; application of van Kampen diagrams (20F06) Applications of logic to group theory (20A15)

Abstract: In recent years, much work in descriptive set theory has been focused on the Borel complexity of naturally occurring classification problems, in particular, the study of countable Borel equivalence relations and their structure under the quasi-order of Borel reducibility. Following the approach of Louveau and Rosendal for the study of analytic equivalence relations, we study countable Borel quasi-orders. In this paper we are concerned with universal countable Borel quasi-orders, i.e. countable Borel quasi-orders above all other countable Borel quasi-orders with regard to Borel reducibility. We first establish that there is a universal countable Borel quasi-order, and then establish that several countable Borel quasi-orders are universal. An important example is an embeddability relation on descriptive set theoretic trees. Our main result states that embeddability of finitely generated groups is a universal countable Borel quasi-order, answering a question of Louveau and Rosendal. This immediately implies that biembeddability of finitely generated groups is a universal countable Borel equivalence relation. The same techniques are also used to show that embeddability of countable groups is a universal analytic quasi-order. Finally, we show that, up to Borel bireducibility, there are continuum-many distinct countable Borel quasi-orders which symmetrize to a universal countable Borel equivalence relation.

Recommendations

• scientific article; zbMATH DE number 6741911
• COUNTABLE BOREL EQUIVALENCE RELATIONS
• Borel Orderings
• The hierarchy of Borel universal sets
• Publication:4943762
• Souslin quasi-orders and bi-embeddability of uncountable structures
• scientific article; zbMATH DE number 4053601
• On the quasi-ordering of Borel linear orders under embeddability
• scientific article; zbMATH DE number 5722527
• Cofinal families of Borel equivalence relations and quasiorders

Cites work

• Coding Subset Shift by Subgroup Conjugacy
• Complete analytic equivalence relations
• On the complexity of the isomorphism relation for finitely generated groups
• The space of finitely generated groups

Cited in

(13)

• The complexity of the embeddability relation between torsion-free abelian groups of uncountable size
• The bi-embeddability relation for finitely generated groups. II
• Computable embeddability for algebraic structures
• Invariant universality for quandles and fields
• Universality of group embeddability
• Borel structures on the space of left‐orderings
• ON THE EXISTENCE OF LARGE ANTICHAINS FOR DEFINABLE QUASI-ORDERS
• Uniformity, universality, and computability theory
• Countable Dimensional Universal Sets
• The descriptive set-theoretical complexity of the embeddability relation on models of large size
• Uniform Martin's conjecture, locally
• Uncountable structures are not classifiable up to bi-embeddability
• Invariantly universal analytic quasi-orders

This page was built for publication: JSL volume 79 issue 2 Cover and Back matter

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