Equational Theory of Positive Numbers with Exponentiation

DOI10.2307/2044966zbMath0572.03014OpenAlexW4241948326MaRDI QIDQ3689169

No author found.

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

inequalitiesdecidabilityequational theorydifferential ringentailment relationcomputable functionTarski's high school algebra problemWilkie's identityexponentiation of positive integersexponentiation of positive reals

Mathematics Subject Classification ID

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

Related Items

Computers and universal algebra: Some directions, Equational theory of positive numbers with exponentiation is not finitely axiomatizable, Remarks on isomorphisms in typed lambda calculi with empty and sum types, A note on HSI-algebras and counterexamples to Wilkie's identity, Axiomatic (and non-axiomatic) mathematics