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 2 of 2 for “"model companions"”.
-
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 …