刊物主题:Mathematical Logic and Foundations; Mathematics, general; Algebra;
出版者:Springer Berlin Heidelberg
ISSN:1432-0665
卷排序:56
文摘
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.