Model completeness results for elliptic and abelian functions

DOI10.1016/0168-0072(91)90028-KzbMath0756.03018OpenAlexW1964225248MaRDI QIDQ1182466

Ricardo Bianconi

Publication date: 28 June 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(91)90028-k

zbMATH Keywords

quantifier eliminationelliptic functionsmodel completenessAbelian functionsexpansions of the reals

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items

Expansions of the real field with power functions ⋮ Wilkie's conjecture for restricted elementary functions ⋮ T-convexity and tame extensions ⋮ Model Completeness for the Real Field with the Weierstrass ℘ Function

Cites Work

• Unnamed Item
• \(p\)-adic and real subanalytic sets
• Ultraproducts and approximation in local rings. II
• On the elementary theory of restricted elementary functions
• A generalization of the Tarski-Seidenberg theorem, and some nondefinability results
• A Remark on the Nonnormal Locus of an Analytic Space
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function