Model theory of special subvarieties and Schanuel-type conjectures

Abstract

We use the language and tools available in model theory to redefine and clarify the rather involved notion of a {\em special subvariety} known from the theory of Shimura varieties (mixed and pure)