K-analytic versus ccm-analytic sets in nonstandard compact complex manifolds
It is shown that in an elementary extension of a compact complex manifold M, the K-analytic sets (where K is the algebraic closure of the underlying real closed field) agree with the ccm-analytic sets if and only if M is essentially saturated. In particular, this is the case for compact Kähler manifolds.