Abstract
A compact complex space X is viewed as a 1-st order structure by taking predicates for analytic subsets of X, X \times X, … as basic relations. Let f: X→ Y be a proper surjective holomorphic map between complex spaces and set Xy:=f-1(y). We show that the set Ak,d:={y∈ Y: the number of d-dimensional components of Xy is <k} is analytically constructible, i.e., is a definable set when X and Y are compact complex spaces and f: X→ Y is a holomorphic map. The analogous result in the context of algebraic geometry gives rise to the definability of Morley degree.
Citation
Dale Radin. "A definability result for compact complex spaces." J. Symbolic Logic 69 (1) 241 - 254, March 2004. https://doi.org/10.2178/jsl/1080938839
Information