Publication Date

5-2013

Advisor(s)

Philip H. Scowcroft

Department

Mathematics

Language

English

Abstract

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.

Share

COinS
 

© Copyright is owned by author of this document