Equational Theory of Positive Numbers with Exponentiation

DOI10.2307/2044966MaRDI QIDQ3689169zbMATH OpenOpenAlexFDO

Authors

Publication date 1985

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

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

zbMATH Keywords

computable functiondecidabilitydifferential ringentailment relationequational theoryexponentiation of positive integersexponentiation of positive realsinequalitiesTarski's high school algebra problemWilkie's identity

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Equational classes, universal algebra in model theory (03C05) Model theory of finite structures (03C13)

Recommendations

• Tarski's High School Identities
• Automated Deduction – CADE-20
• On exponentiation -- a solution to Tarski's high school algebra problem
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(16)

• A note on HSI-algebras and counterexamples to Wilkie's identity
• Computers and universal algebra: Some directions
• Axiomatic (and non-axiomatic) mathematics
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• On exponentiation -- a solution to Tarski's high school algebra problem
• scientific article; zbMATH DE number 3884129 (Why is no real title available?)
• scientific article; zbMATH DE number 3845576 (Why is no real title available?)
• On models of exponentiation. Identities in the HSI-algebra of posets
• Detecting Algebraic (In)Dependence of Explicitly Presented Functions (Some Applications of Nevanlinna Theory to Mathematical Logic)
• scientific article; zbMATH DE number 1746898 (Why is no real title available?)
• Tarski's High School Identities
• Logic for Programming, Artificial Intelligence, and Reasoning
• Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
• Finite models for positive combinatorial and exponential algebra
• Cyclic Arithmetic and Combinatorial Operations
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable

This page was built for publication: Equational Theory of Positive Numbers with Exponentiation

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