Abstract | ||
---|---|---|
The following strong form of density of definable types is introduced for theories T admitting a fibered dimension function d: given a model M of T and a definable set X subset of M-n, there is a definable type p in X, definable over a code for X and of the same d-dimension as X. Both o-minimal theories and the theory of closed ordered differential fields (CODF) are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF. |
Year | DOI | Venue |
---|---|---|
2019 | 10.1017/jsl.2018.88 | JOURNAL OF SYMBOLIC LOGIC |
Keywords | Field | DocType |
ordered differential fields,density of definable types,closed ordered differential fields | Differential algebra,Pure mathematics,Physics | Journal |
Volume | Issue | ISSN |
84 | 3 | 0022-4812 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Quentin Brouette | 1 | 2 | 1.40 |
Pablo Cubides Kovacsics | 2 | 3 | 2.87 |
Françoise Point | 3 | 21 | 10.04 |