Waterloo-McMaster Joint Logic Seminar

Jules Ribolzi, University of Waterloo

On Two Model-Theoretic Approaches to Complex Analytic Geometry

There is a first-order multi-sorted structure for compact complex spaces which satisfies important model-theoretic properties (quantifier elimination, elimination of imaginaries, finiteness of Morley rank,…). We call this theory $CCM$. On the other hand, any compact complex manifold is definable in the O-minimal structure $\mathbb{R}_{an}$. In this talk, we will discuss the relation between these two structures (and also their elementary extensions).

MC 5417