Definable types in the theory of closed ordered differential fields (Q512139)

From MaRDI portal
Revision as of 12:02, 13 July 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Definable types in the theory of closed ordered differential fields
scientific article

    Statements

    Definable types in the theory of closed ordered differential fields (English)
    0 references
    0 references
    24 February 2017
    0 references
    0 references
    0 references
    0 references
    0 references
    definable type
    0 references
    differential field
    0 references
    real closed field
    0 references
    Dedekind completeness
    0 references
    0 references