Logic Seminar - Xiaoduo Wang
| Dates: | 12 November 2025 |
|---|
| Times: | 15:00 - 16:00 |
|---|
| What is it: | Seminar |
|---|
| Organiser: | Department of Mathematics |
|---|
| Who is it for: | University staff, External researchers, Current University students |
|---|
|
Speaker: Xiaoduo Wang (University of Manchester)
Tame Extensions of Generic Derivations on o-minimal Structures
Let $T$ be a complete, model-complete o-minimal extension of the theory of real closed fields in a fixed language $\mathcal{L}$. A $T$-derivation is a derivation compatible with all $0$-definable $\mathcal{C}^{1}$-functions with open domains. The theory $T^{\delta}$ extending $T$ by requiring that each model be equipped with a $T$-derivation admits a model completion $T^{\delta}_{g}$, which has been studied thoroughly by Fornasiero and Kaplan. Let $\mathcal{M} \models T^{\delta}_{g}$ and $A \subseteq M$. We say that $A$ is \emph{tame} in $M$ if every element of $M$ is either infinitely far from $A$ or infinitely close to some element of $A$. In this talk, I will discuss such notions of tameness and present a sequence of natural topologies associated with models of $T^{\delta}_{g}$.
Travel and Contact Information
Find event
Frank Adams 1
Alan Turing Building
Manchester
