×

The laws of exponentiation. (English) Zbl 0503.08008

Model theory and arithmetic, Proceedings, Paris 1979/80, Lect. Notes Math. 890, 185-197 (1981).

MSC:

08A50 Word problems (aspects of algebraic structures)
03B25 Decidability of theories and sets of sentences

Citations:

Zbl 0465.00004