Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 4 of 4 for “"model companion"”.
-
Model Theory of Real -Trees and Their Isometries
… signature. The thesis then describes a model companion of the theory of real-trees that has quantifier elimination, is complete and is stable but not superstable. The model theoretic independence relation for the model companion is described and it is shown that it is not categorical in …
-
Pairs and predicates in expansions of o-minimal structures
… new results concerning the interactions of some model-theoretic notions of tameness with other more geometric notions of tameness, among other properties. In particular, the results range from characterizing the existence of a model companion for a certain kind of extension of o-minimal theories …
-
Derivations on o-minimal fields
… be the theory of structures $(K,\der)$, where $K\models T$ and $\der$ is a $T$-derivation on $K$. We show that $T^\der$ has a model completion $T^\der_{\mathcal{G}}$, in which derivation behaves ""generically."" The theory $T^\der_{\mathcal{G}}$ is model theoretically quite tame; it is distal, it …
-
On asymptotic valued differential fields with small derivation
This thesis is a contribution to the algebra and model theory of certain valued differential fields and ordered valued differential fields. We focus on those with small derivation, which is a strong form of continuity of the derivation with respect to the valuation topology, and especially on those …