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

DOI10.2307/2046179MaRDI QIDQ3755429zbMATHOpenAlexFDO

Authors Lou 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

commutative ringscompleteness theoremtrigonometric identitiesequational theorydecision problemexponential identitiescossin

Mathematics Subject Classification ID

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

Recommendations

• Functional equations for the functions of real variables
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers
• Uniform model-completeness for the real field expanded by power functions
• Expressibility in the elementary theory of recursively enumerable sets with realizability logic
• scientific article; zbMATH DE number 193143
• Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes
• Axiomatic (and non-axiomatic) mathematics
• scientific article; zbMATH DE number 1500521
• scientific article; zbMATH DE number 4112566

Cited in

(3)

• A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots).
• Completeness of the trigonometric system for the classes \(\varphi (L)\)
• Growth estimates for exp-log functions

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3755429)