Generic derivations on o-minimal structures
Fuente:
arXiv
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2019
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866910776068931584 |
|---|---|
| author | Fornasiero, Antongiulio Kaplan, Elliot |
| author_facet | Fornasiero, Antongiulio Kaplan, Elliot |
| contents | 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 $δ$ 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^δ_G$. The derivation in models $(\mathcal{M},δ)\models T^δ_G$ behaves "generically," it is wildly discontinuous and its kernel is a dense elementary $L$-substructure of $\mathcal{M}$. If $T =$ RCF, then $T^δ_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^δ_G$ has $T$ as its open core, that $T^δ_G$ is distal, and that $T^δ_G$ eliminates imaginaries. We also show that the theory of $T$-models with finitely many commuting $T$-derivations has a model completion. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_1905_07298 |
| institution | arXiv |
| publishDate | 2019 |
| record_format | arxiv |
| spellingShingle | Generic derivations on o-minimal structures Fornasiero, Antongiulio Kaplan, Elliot Logic 03C64 (Primary), 03C10, 12H05 (Secondary) 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 $δ$ 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^δ_G$. The derivation in models $(\mathcal{M},δ)\models T^δ_G$ behaves "generically," it is wildly discontinuous and its kernel is a dense elementary $L$-substructure of $\mathcal{M}$. If $T =$ RCF, then $T^δ_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^δ_G$ has $T$ as its open core, that $T^δ_G$ is distal, and that $T^δ_G$ eliminates imaginaries. We also show that the theory of $T$-models with finitely many commuting $T$-derivations has a model completion. |
| title | Generic derivations on o-minimal structures |
| topic | Logic 03C64 (Primary), 03C10, 12H05 (Secondary) |
| url | https://arxiv.org/abs/1905.07298 |