A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions

DOI10.2307/2046179zbMath0619.03012OpenAlexW2051352661MaRDI QIDQ3755429

L. P. D. van den Dries

Publication date: 1986

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2046179

zbMATH Keywords

completeness theoremdecision problemequational theorycommutative ringstrigonometric identitiesexponential identitiescossin

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Elementary functions (26A09) Equational classes, universal algebra in model theory (03C05) Model-theoretic forcing (03C25) Categoricity and completeness of theories (03C35)

Related Items (2)

A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots). ⋮ Growth estimates for exp-log functions

This page was built for publication: A Completeness Theorem for Trigonometric Identities and Various Results on Exponential Functions