### Top 1 Arxiv Papers Today in Logic

##### #1. Generic derivations on o-minimal structures
###### Antongiulio Fornasiero, Elliot Kaplan
Let $T$ be a complete, model complete o-minimal theory extending the theory RCF of real closed ordered fields in some appropriate language $L$. We study derivations $\delta$ on models $\mathcal{M}\models T$. We introduce the notion of a $T$-derivation: a derivation which is compatible with the $L(\emptyset)$-definable $\mathcal{C}^1$-functions on $\mathcal{M}$. We show that the theory of $T$-models with a $T$-derivation has a model completion $T^\delta_G$. The derivation in models $(\mathcal{M},\delta)\models T^\delta_G$ behaves "generically," it is wildly discontinuous and its kernel is a dense elementary $L$-substructure of $\mathcal{M}$. If $T =$ RCF, then $T^\delta_G$ is the theory of closed ordered differential fields (CODF) as introduced by Michael Singer. We are able to recover many of the known facts about CODF in our setting. Among other things, we show that $T^\delta_G$ has $T$ as its open core, that $T^\delta_G$ is distal, and that $T^\delta_G$ eliminates imaginaries. We also show that the theory of $T$-models with...
more | pdf | html
None.
###### Tweets
mathLOb: Antongiulio Fornasiero, Elliot Kaplan : Generic derivations on o-minimal structures https://t.co/3rbX3YGAGd https://t.co/Qq5UD74LrV
berenbeim: RT @mathLOb: Antongiulio Fornasiero, Elliot Kaplan : Generic derivations on o-minimal structures https://t.co/3rbX3YGAGd https://t.co/Qq5UD…
None.
None.
###### Other stats
Sample Sizes : None.
Authors: 2
Total Words: 20253
Unqiue Words: 2670

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 128,326 papers.

###### Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
###### Stats
Tracking 128,326 papers.