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

Links

PhilArchive



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

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.
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.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
A nullstellensatz and a positivstellensatz for ordered differential fields.Quentin Brouette - 2013 - Mathematical Logic Quarterly 59 (3):247-254.
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.Francoise Delon & Rafel Farre - 1996 - Journal of Symbolic Logic 61 (3):1121-1152.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Noetherian varieties in definably complete structures.Tamara Servi - 2008 - Logic and Analysis 1 (3-4):187-204.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Rank and Dimension in Difference-Differential Fields.Ronald F. Bustamante Medina - 2011 - Notre Dame Journal of Formal Logic 52 (4):403-414.
On subgroups of the additive group in differentially closed fields.Sonat Süer - 2012 - Journal of Symbolic Logic 77 (2):369-391.
Differential forms in the model theory of differential fields.David Pierce - 2003 - Journal of Symbolic Logic 68 (3):923-945.
The model theory of m‐ordered differential fields.Cédric Rivière - 2006 - Mathematical Logic Quarterly 52 (4):331-339.
Stabilité polynômiale Des corps différentiels.Natacha Portier - 1999 - Journal of Symbolic Logic 64 (2):803-816.
Existentially closed ordered difference fields and rings.Françoise Point - 2010 - Mathematical Logic Quarterly 56 (3):239-256.

Analytics

Added to PP
2017-11-06

Downloads
2 (#1,809,250)

6 months
2 (#1,206,727)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references