Gruppen mit vorgeschriebenem Wortproblem.
Very Decomposable Abelian Groups.
Model theoretic methods in the theory of topological fields.
Non-axiomatizable classes of V-topological fields.
Erblich euklidische Körper.
Stable graphs
On many-sorted ω-categorical theories
We prove that every many-sorted ω-categorical theory is completely interpretable in a one-sorted ω-categorical theory. As an application, we give a short proof of the existence of non-G-compact ω-categorical theories.
Ample hierarchy
The ample hierarchy of geometries of stables theories is strict. We generalise the construction of the free pseudospace to higher dimensions and show that the n-dimensional free pseudospace is ω-stable n-ample yet not (n+1)-ample. In particular, the free pseudospace is not 3-ample. A thorough study of forking is conducted and an explicit description of canonical bases is given.
Page 1