Definable types in the theory of closed ordered differential fields

Archive for Mathematical Logic 56 (1-2):119-129 (2017)
  Copy   BIBTEX

Abstract

We study definable types in the theory of closed ordered differential fields. We show a condition for a type to be definable, then we prove that definable types are dense in the Stone space of CODF.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-016-0517-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,518

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Strong density of definable types and closed ordered differential fields.Quentin Brouette, Pablo Cubides Kovacsics & Françoise Point - 2019 - Journal of Symbolic Logic 84 (3):1099-1117.
Cell decomposition and dimension function in the theory of closed ordered differential fields.Thomas Brihaye, Christian Michaux & Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):111-128.
Further notes on cell decomposition in closed ordered differential fields.Cédric Rivière - 2009 - Annals of Pure and Applied Logic 159 (1-2):100-110.
Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.
Definable types in algebraically closed valued fields.Pablo Cubides Kovacsics & Françoise Delon - 2016 - Mathematical Logic Quarterly 62 (1-2):35-45.
Some model theory for almost real closed fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
On differential Galois groups of strongly normal extensions.Quentin Brouette & Françoise Point - 2018 - Mathematical Logic Quarterly 64 (3):155-169.

Analytics

Added to PP
2017-11-06

Downloads
8 (#1,589,825)

6 months
6 (#901,624)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references