Notre Dame Journal of Formal Logic

On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions

Hassan Sfouli

Abstract

We show that the ordered field of real numbers with restricted $\mathbb{R}_{\mathscr{H}}$-definable analytic functions admits quantifier elimination if we add a function symbol $^{-1}$ for the function $x\mapsto \frac{1}{x}$ (with $0^{-1}=0$ by convention), where $\mathbb{R}_{\mathscr{H}}$ is the real field augmented by the functions in the family $\mathscr{H}$ of restricted parts (real and imaginary) of holomorphic functions which satisfies certain conditions. Further, with another condition on $\mathscr{H}$ we show that the structure ($\mathbb{R}_{\mathscr{H}}$, constants) is strongly model complete.

Article information

Source
Notre Dame J. Formal Logic, Volume 53, Number 1 (2012), 67-77.

Dates
First available in Project Euclid: 9 May 2012

Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1336586238

Digital Object Identifier
doi:10.1215/00294527-1626527

Mathematical Reviews number (MathSciNet)
MR2925269

Zentralblatt MATH identifier
1258.03034

Citation

Sfouli, Hassan. On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions. Notre Dame J. Formal Logic 53 (2012), no. 1, 67--77. doi:10.1215/00294527-1626527. https://projecteuclid.org/euclid.ndjfl/1336586238

References

• Denef, J., and L. van den Dries, "$p$"-adic and real subanalytic sets", Annals of Mathematics. Second Series, vol. 128 (1988), pp. 79–138.
• van den Dries, L., "On the elementary theory of restricted elementary functions", The Journal of Symbolic Logic, vol. 53 (1988), pp. 796–808.
• Gabrielov, A., "Complements of subanalytic sets and existential formulas for analytic functions", Inventiones Mathematicae, vol. 125 (1996), pp. 1–12.
• Krantz, S. G., Handbook of Complex Variables, Birkhäuser Boston Inc., Boston, 1999.
• Tarski, A., A Decision Method for Elementary Algebra and Geometry, 2nd edition, University of California Press, Berkeley and Los Angeles, 1951.
• Wilkie, A. J., "Some local definability theory for holomorphic functions", pp. 197–213 in Model Theory with Applications to Algebra and Analysis. Vol. 1, vol. 349 of London Mathematical Society Lecture Note Series, Cambridge University Press, Cambridge, 2008.