On the elementary theory of restricted real and imaginary parts of holomorphic functions

DOI10.1215/00294527-1626527zbMath1258.03034OpenAlexW2059214986MaRDI QIDQ424581

Hassan Sfouli

Publication date: 1 June 2012

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1336586238

zbMATH Keywords

quantifier eliminationWeierstrass systems

Mathematics Subject Classification ID

Real-analytic and semi-analytic sets (14P15) Semi-analytic sets, subanalytic sets, and generalizations (32B20) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (1)

SURREAL ORDERED EXPONENTIAL FIELDS

Cites Work

• \(p\)-adic and real subanalytic sets
• Complements of subanalytic sets and existential formulas for analytic functions
• On the elementary theory of restricted elementary functions
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the elementary theory of restricted real and imaginary parts of holomorphic functions