On exponentiation -- a solution to Tarski's high school algebra problem (Q2758397)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: On exponentiation -- a solution to Tarski's high school algebra problem |
scientific article; zbMATH DE number 1679773
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On exponentiation -- a solution to Tarski's high school algebra problem |
scientific article; zbMATH DE number 1679773 |
Statements
16 September 2002
0 references
Tarski's problem
0 references
exponentiation
0 references
differential field
0 references
On exponentiation -- a solution to Tarski's high school algebra problem (English)
0 references
The main contribution of this nice paper consists in solving negatively Tarski's High School Algebra Problem on identities of exponentiation, proving that there are true identities not derivable from the familiar ones. Moreover, enlarging conveniently the equational theory of exponentiation, the author proves a theorem which seems to be the best possible positive solution to Tarski's problem.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00010].
0 references
