Translator Disclaimer
March 2004 A definability result for compact complex spaces
Dale Radin
J. Symbolic Logic 69(1): 241-254 (March 2004). DOI: 10.2178/jsl/1080938839

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

Download 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

Published: March 2004
First available in Project Euclid: 2 April 2004

zbMATH: 1068.03027
MathSciNet: MR2039359
Digital Object Identifier: 10.2178/jsl/1080938839

Rights: Copyright © 2004 Association for Symbolic Logic

JOURNAL ARTICLE
14 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

SHARE
Vol.69 • No. 1 • March 2004
Back to Top