scientific article; zbMATH DE number 3884129

MaRDI QIDQ3218102zbMATH OpenFDO

Authors R. Gurevic

Publication date 1984

Full work available at URL https://eudml.org/doc/62412

zbMATH Keywords

deductive theoriesequational theoriesTarski high-school algebra problem

Mathematics Subject Classification ID

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

Recommendations

• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• Equational Theory of Positive Numbers with Exponentiation
• Logic for Programming, Artificial Intelligence, and Reasoning
• The first-order theory of raising to an infinite power
• scientific article; zbMATH DE number 8420

Cited in

(2)

• On the decidability of the real field with a generic power function
• The power of primitive positive definitions with polynomially many variables

This page was built for publication:

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