You are here: MIMS > EPrints
MIMS EPrints

2007.199: Some local definability theory for holomorphic functions

2007.199: A.J. Wilkie (2007) Some local definability theory for holomorphic functions. Modnet.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
185 Kb


Let \mathcal{F} be a collection of holomorphic functions and let \mathbb{R}(PR(\mathcal{F})) denote the reduct of the structure \mathbb{R}_{an} to the ordered field operations together with the set of proper restrictions (see below) of the real and imaginary parts of all functions in \mathcal{F}. We ask the question: Which holomorphic functions are locally definable (ie have their real and imaginary parts locally definable) in the structure \mathbb{R}(PR(\mathcal{F}))? It is easy to see that the collection of all such functions is closed under composition, partial differentiation, implicit definability (via the Implicit Function Theorem in one dependent variable) and Schwarz Reflection. We conjecture that this exhausts the possibilities and we prove as much in the neighbourhood of generic points. More precisely, we show that these four operations determine the natural pregeometry associated with \mathbb{R}(PR(\mathcal{F}))-definable, holomorphic functions.

Item Type:Other
Subjects:MSC 2000 > 03 Mathematical logic and foundations
MSC 2000 > 11 Number theory
MIMS number:2007.199
Deposited By:Mrs Louise Healey
Deposited On:21 November 2007

Download Statistics: last 4 weeks
Repository Staff Only: edit this item