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 in cite{LR05} for the study of analytic equivalence relations, we study countable Borel quasi-orders. We are largely concerned in this thesis 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, using a Feldman-Moore-type result for countable Borel quasi-orders and an argument similar to that of Dougherty, Jackson, and Kechris in cite{DJK94}. We then establish that several countable Borel quasi-orders are universal. An important example is an embeddability relation on descriptive set theoretic trees. This is used in many of the other proofs of universality. Our main result is Theorem 5.5.2, which states that embeddability of finitely generated groups is a universal countable Borel quasi-order, answering a question of Louveau and Rosendal in cite{LR05}. This immediately implies that biembeddability of finitely generated groups is a universal countable Borel equivalence relation. Although it may have been possible to prove this only using results on countable Borel equivalence relations, the use of quasi-orders seems to be the most direct route to this result. The proof uses small cancellation theory. The same techniques are also used to show that embeddability of countable groups is a universal analytic quasi-order. Finally, we discuss the structure of countable Borel quasi-orders under Borel reducibility, and we present some open problems.
Subject (authority = RUETD)
Topic
Mathematics
RelatedItem (type = host)
TitleInfo
Title
Rutgers University Electronic Theses and Dissertations
Rutgers University. Graduate School - New Brunswick
AssociatedObject
Type
License
Name
Author Agreement License
Detail
I hereby grant to the Rutgers University Libraries and to my school the non-exclusive right to archive, reproduce and distribute my thesis or dissertation, in whole or in part, and/or my abstract, in whole or in part, in and from an electronic format, subject to the release date subsequently stipulated in this submittal form and approved by my school. I represent and stipulate that the thesis or dissertation and its abstract are my original work, that they do not infringe or violate any rights of others, and that I make these grants as the sole owner of the rights to my thesis or dissertation and its abstract. I represent that I have obtained written permissions, when necessary, from the owner(s) of each third party copyrighted matter to be included in my thesis or dissertation and will supply copies of such upon request by my school. I acknowledge that RU ETD and my school will not distribute my thesis or dissertation or its abstract if, in their reasonable judgment, they believe all such rights have not been secured. I acknowledge that I retain ownership rights to the copyright of my work. I also retain the right to use all or part of this thesis or dissertation in future works, such as articles or books.