This dissertation is a collection of results in model theory, related in one way or another to
fields, NIP theories, and elimination of imaginaries. The most important result is a …

In [16], Peterzil and Steinhorn proved that if a group G definable in an o-minimal structure is
not definably compact, then G contains a definable torsion-free subgroup of dimension 1 …

We consider interpretable topological spaces and topological groups in ap-adically closed
field K. We identify a special class of “admissible topologies” with topological tameness …

We give an example of a dense o-minimal structure in which there is a definable quotient
that cannot be eliminated, even after naming parameters. Equivalently, there is an …

We study the properties of topological spaces (X, τ), where X is a definable set in an o-
minimal structure and the topology τ on X has a basis that is (uniformly) definable. Examples …

We study directed sets definable in o‐minimal structures, showing that in expansions of
ordered fields these admit cofinal definable curves, as well as a suitable analogue in …

We further the research in o-minimal topology by studying in full generality definable
topological spaces in o-minimal structures. These are topological spaces (X, τ), where Xis a …

A note on fsg$\text{fsg}$ groups in p‐adically closed fields - Johnson - 2023 - Mathematical
Logic Quarterly - Wiley Online Library Skip to Article Content Skip to Article Information Wiley …

Through careful analysis of types inspired by [AGTW21] we characterize a notion of
definable compactness for definable topologies in general o-minimal structures …

We study the properties of topological spaces $(X,\tau) $, where $ X $ is a definable set in
an o-minimal structure and the topology $\tau $ on $ X $ has a basis that is (uniformly) …