Published online by Cambridge University Press: 12 March 2014
Let be the category of all reduced compact complex spaces, viewed as a multi-sorted first order structure, in the standard way. Let
be a sub-category of
. which is closed under the taking of products and analytic subsets, and whose morphisms include the projections. Under the assumption that Th(
) is unidimensional. we show that Morley rank is equal to Noetherian dimension, in any elementary extension of
. As a result, we are able to show that Morley degree is definable in Th(
). when Th(
) is unidimensional.