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

DOI10.2307/2046179zbMATH Open0619.03012OpenAlexW2051352661MaRDI QIDQ3755429FDOQ3755429

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)

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).

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Functional equations for the functions of real variables 👍 👎
• Uniform model-completeness for the real field expanded by power functions 👍 👎
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable 👍 👎
• Expressibility in the elementary theory of recursively enumerable sets with realizability logic 👍 👎
• Axiomatic (and non-axiomatic) mathematics 👍 👎
• Decidability of the AE-theory of the lattice of \({\Pi}_1^0\) classes 👍 👎
• A finitely based theory of a non-trivial language, with exactly \(\aleph_ 0\) subcovers 👍 👎

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)