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

DOI10.2307/2046179zbMATH Open0619.03012OpenAlexW2051352661MaRDI QIDQ3755429FDOQ3755429

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

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

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)

Cited In (3)

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

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)