Back to matchesWe found a matchYour institution may have access to this item. Find your institution then sign in to continue.TitleDefinable types in the theory of closed ordered differential fields.AuthorsBrouette, QuentinAbstractWe study definable types in the theory of closed ordered differential fields (CODF). We show a condition for a type to be definable, then we prove that definable types are dense in the Stone space of CODF.SubjectsDIFFERENTIAL fields; CONDITIONALS (Logic); DEFINABILITY theory (Mathematical logic); MATHEMATICAL formulas; MATHEMATICAL logicPublicationArchive for Mathematical Logic, 2017, Vol 56, Issue 1/2, p119ISSN0933-5846Publication typeArticleDOI10.1007/s00153-016-0517-4