We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

Let T be a complete O-minimal theory in a language L. We first give an elementary proof of the result (due to Marker and Steinhorn) that all types over Dedekind complete models of T are definable. Let L * be L together with a unary predicate P. Let T * be the L * -theory of all pairs (N, M), where M is a Dedekind complete model of T and N is an |M| + -saturated elementary extension of N (and (...) M is the interpretation of P). Using the definability of types result, we show that T * is complete and we give a simple set of axioms for T * . We also show that for every L * -formula φ(x) there is an L-formula ψ(x) such that $T^\ast \models (\forall \mathbf{x})(P(\mathbf{x}) \rightarrow (\phi(\mathbf{x}) \mapsto \psi (\mathbf{x}))$ . This yields the following result: Let M be a Dedekind complete model of T. Let φ(x, y) be an L-formula where l(y) = k. Let $\mathbf{X} = \{X \subset M^k$ : for some a in an elementary extension N of M, X = φ (a,y N ∩ M k }. Then there is a formula ψ(y, z) of L such that X = {ψ (y, b) M : b in M}. (shrink)

In, Marker and Steinhorn characterized models of an o‐minimal theory such that all types over M realized in N are definable. In this article we characterize pairs of algebraically closed valued fields satisfying the same property. In o‐minimal theories, a pair of models for which all 1‐types over M realized in N are definable has already the desired property. Although it is true that if M is an algebraically closed valued field such that all 1‐types over M are definable then (...) all types over M are definable, we build a counterexample for the relative statement, i.e., we show for any that there is a pair of algebraically closed valued fields such that all n‐types over M realized in N are definable but there is an ‐type over M realized in N which is not definable. (shrink)

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.

The paper shows elimination of imaginaries for real closed valued fields to suitable sorts. We also show that this result is in some sense optimal. The paper includes a quantifier elimination theorem for real closed valued fields in a language with sorts for the field, value group and residue field.

We consider first-order theories of topological fields admitting a model-completion and their expansion to differential fields . We give a criterion under which the expansion still admits a model-completion which we axiomatize. It generalizes previous results due to M. Singer for ordered differential fields and of C. Michaux for valued differential fields. As a corollary, we show a transfer result for the NIP property. We also give a geometrical axiomatization of that model-completion. Then, for certain differential valued fields, we extend (...) the positive answer of Hilbert’s seventeenth problem and we prove an Ax–Kochen–Ershov theorem. Similarly, we consider first-order theories of topological fields admitting a model-companion and their expansion to differential fields, and under a similar criterion as before, we show that the expansion still admits a model-companion. This last result can be compared with those of M. Tressl: on one hand we are only dealing with a single derivation whereas he is dealing with several, on the other hand we are not restricting ourselves to definable expansions of the ring language, taking advantage of our topological context. We apply our results to fields endowed with several valuations. (shrink)

We construct a fibered dimension function in some topological differential fields.

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to well-known properties in model theory. We recall that stable theories and weakly o-minimal theories have UDTFS and UDTFS implies dependence. We then show that all dp-minimal theories have UDTFS.

Using the Lascar inequalities, we show that any finite rank δ-closed subset of a quasiprojective variety is definably isomorphic to an affine δ-closed set. Moreover, we show that if X is a finite rank subset of the projective space P n and a is a generic point of P n , then the projection from a is injective on X. Finally we prove that if RM = RC in DCF 0 , then RM = RU.