Search

Your search keyword '"12L12"' showing total 1 results
Start Over Descriptor "12L12" Topic 12h05

Refine your results

1 results on '"12L12"'

1. Definable types in the theory of closed ordered differential fields.

Author

Brouette, Quentin

Subjects
*DIFFERENTIAL fields, *CONDITIONALS (Logic), *DEFINABILITY theory (Mathematical logic), *MATHEMATICAL formulas, *MATHEMATICAL logic
Abstract

We 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. [ABSTRACT FROM AUTHOR]

Published
2017
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results