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.

On well quasi orders of free monoids

Characterization of Ordered Semigroups Generating Well Quasi-Orders of Words

Decidability of Well Quasi-Order and Atomicity for Equivalence Relations Under Embedding Orderings

Measuring well quasi-ordered finitary powersets

Abelian Quasi-Ordered Groups

Universal countable Borel quasi-orders

Generalized Quasiorders and the Galois Connection End-gQuord

On the Well Extension of Partial Well Orderings

Some properties of disjunctive languages on a free monoid

Higman's Lemma is Stronger for Better Quasi Orders

Weak well orders and Fraïssé's conjecture

Generalized quasiorders and the Galois connection –

Provable better quasi orders

On Contextuality and Unsharp Quantum Logic

The weakness of finding descending sequences in ill-founded linear orders

A Comparison of Well-Quasi Orders on Trees

On a relation between $λ$-full well-ordered sets and weakly compact cardinals

Word Problem Languages for Free Inverse Monoids

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings

Quasiorders for a characterization of iso-dense spaces