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 the ABK Conjecture, alpha-well Quasi Orders and Dress-Schiffels product

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Extended Baxter relations and QQ-systems for quantum affine algebras

Provable better quasi orders

Measuring well quasi-ordered finitary powersets

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders

Quantum wreath products and Schur-Weyl duality I

On Kadell's Two Conjectures for the $q$-Dyson Product

On the $q$-Enumeration of Barely Set-Valued Tableaux and Plane Partitions

Higher level $q$-multiple zeta values with applications to quasimodular forms and partitions

On a q-analogue of the Zeta polynomial of posets

On the Width of the Cartesian Product of Ordinals

On a conjecture of Zhao related to standard relations among cyclotomic multiple zeta values

Higher Rank Relations for the Askey-Wilson and $q$-Bannai-Ito Algebra

Combinatorial interpretation of the Schlesinger-Zudilin stuffle product

The Abraham-Shelah $Δ^2_2$-well-ordering of the reals

On the Queue-Number of Partial Orders

Some simple theories from a Boolean algebra point of view

On sigma-entangled linear orders

Universal countable Borel quasi-orders

Okounkov's conjecture via BPS Lie algebras