Strong density of definable types and closed ordered differential fields

, &
Journal of Symbolic Logic 84 (3):1099-1117 (2019)
  Copy   BIBTEX

Abstract

The following strong form of density of definable types is introduced for theoriesTadmitting a fibered dimension functiond: given a modelMofTand a definable setX⊆Mn, there is a definable typepinX, definable over a code forXand of the samed-dimension asX. Both o-minimal theories and the theory of closed ordered differential fields are shown to have this property. As an application, we derive a new proof of elimination of imaginaries for CODF.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2018.88

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

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

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.
Definability of types and VC density in differential topological fields.Françoise Point - 2018 - Archive for Mathematical Logic 57 (7-8):809-828.
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.
Definable types in the theory of closed ordered differential fields.Quentin Brouette - 2017 - Archive for Mathematical Logic 56 (1-2):119-129.
Expansions of ordered fields without definable gaps.Jafar S. Eivazloo & Mojtaba Moniri - 2003 - Mathematical Logic Quarterly 49 (1):72-82.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Some Model Theory for Almost Real Closed Fields.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (3):1121-1152.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Definable types in algebraically closed valued fields.Pablo Cubides Kovacsics & Françoise Delon - 2016 - Mathematical Logic Quarterly 62 (1-2):35-45.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Prototypes for Definable Subsets of Algebraically Closed Valued Fields.Jan Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
Definable functions continuous on curves in o-minimal structures.Janak Ramakrishnan - 2014 - Annals of Pure and Applied Logic 165 (7-8):1339-1351.
Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.

Analytics

Added to PP
2019-08-06

Downloads
13 (#1,043,322)

6 months
5 (#649,106)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Generic derivations on o-minimal structures.Antongiulio Fornasiero & Elliot Kaplan - 2020 - Journal of Mathematical Logic 21 (2):2150007.

Add more citations

References found in this work

Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Definable types in the theory of closed ordered differential fields.Quentin Brouette - 2017 - Archive for Mathematical Logic 56 (1-2):119-129.

Add more references