Publication Date



Philip H. Scowcroft






A dense regular group is a densely ordered group elementarily equivalent to a subgroup of R. If a dense regular group is divisible then it is o-minimal. In this thesis we examine the structure of the definable sets in dense regular groups which may not be divisible, but have only finitely many congruence classes mod n for every positive integer n. We define an appropriate notion of “cell,” prove a cell-decomposition theorem similar to that which is known for o-minimal structures, and use cells to develop a dimension theory for the definable sets. In 2009 Zilber proposed a set of axioms which a dimension theory on a topological structure might satisfy, and he can show that these axioms lead to a quantifier elimination result. These axioms apply to R, Qp, and every o-minimal structure with their standard topologies. We define a natural topology for the groups under investigation here—one in which the definable closed sets have positive quantifier-free definitions—and show that the dimension theory defined here satisfies all of Zilber’s axioms.



© Copyright is owned by author of this document