Geodesic
High School Identities
Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, Tome 7 (2015) no. 1, pp. 91-98.

Voir la notice de l'article provenant de la source Library of Science

In 1969, Polish mathematician and logician, Alfred Tarski asked ifall the identities true in the set of natural numbers involving the constant 1,addition, multiplication, and exponentiation can be derived from the elevenaxioms that are taught at the high school level (High School Identities). In1981 Alex Wilkie negatively solved this problem by constructing an identitythat cannot be proved using these axioms. In this paper we survey resultsconnected with Tarski’s problem.
Keywords: HSI-algebras, exponentiation, Wilkie’s identity 
@article{AUPCDM_2015_7_1_a6,
     author = {S{\l}omczy\'nska, Katarzyna},
     title = {High {School} {Identities}},
     journal = {Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia},
     pages = {91--98},
     publisher = {mathdoc},
     volume = {7},
     number = {1},
     year = {2015},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/AUPCDM_2015_7_1_a6/}
}
TY  - JOUR
AU  - Słomczyńska, Katarzyna
TI  - High School Identities
JO  - Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
PY  - 2015
SP  - 91
EP  - 98
VL  - 7
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AUPCDM_2015_7_1_a6/
LA  - en
ID  - AUPCDM_2015_7_1_a6
ER  - 
%0 Journal Article
%A Słomczyńska, Katarzyna
%T High School Identities
%J Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia
%D 2015
%P 91-98
%V 7
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AUPCDM_2015_7_1_a6/
%G en
%F AUPCDM_2015_7_1_a6
Słomczyńska, Katarzyna. High School Identities. Annales Universitatis Paedagogicae Cracoviensis. Studia ad Didacticam Mathematicae Pertinentia, Tome 7 (2015) no. 1, pp. 91-98. http://geodesic.mathdoc.fr/item/AUPCDM_2015_7_1_a6/