BEGIN:VCALENDAR
PRODID:-//Columba Systems Ltd//NONSGML CPNG/SpringViewer/ICal Output/3.3-
 M3//EN
VERSION:2.0
CALSCALE:GREGORIAN
METHOD:PUBLISH
BEGIN:VEVENT
DTSTAMP:20251104T213851Z
DTSTART:20251112T150000Z
DTEND:20251112T160000Z
SUMMARY:Logic Seminar - Xiaoduo Wang
UID:{http://www.columbasystems.com/customers/uom/gpp/eventid/}f15f-mhl30v
 2z-vn3e0u
DESCRIPTION:Speaker: Xiaoduo Wang (University of Manchester)\n\nTame Exte
 nsions of Generic Derivations on o-minimal Structures\n\nLet $T$ be a co
 mplete\, model-complete o-minimal extension of the theory of real closed
  fields in a fixed language $\\mathcal{L}$. A $T$-derivation is a deriva
 tion 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 K
 aplan. 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 eithe
 r 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 seque
 nce of natural topologies associated with models of $T^{\\delta}_{g}$.
STATUS:TENTATIVE
TRANSP:TRANSPARENT
CLASS:PUBLIC
LOCATION:Frank Adams 1\, Alan Turing Building\, Manchester
END:VEVENT
END:VCALENDAR