High School Identities

dc.contributor.author	Słomczyńska, Katarzyna	pl
dc.date.accessioned	2026-07-17T06:49:42Z
dc.date.available	2026-07-17T06:49:42Z
dc.date.issued	2015
dc.identifier.citation	Annales Universitatis Paedagogicae Cracoviensis. 196, Studia ad Didacticam Mathematicae Pertinentia 7 (2015), s. [91]-98	pl
dc.identifier.uri	http://hdl.handle.net/11716/14246
dc.description.abstract	In 1969, Polish mathematician and logician, Alfred Tarski asked if all the identities true in the set of natural numbers involving the constant 1, addition, multiplication, and exponentiation can be derived from the eleven axioms that are taught at the high school level (High School Identities). In 1981 Alex Wilkie negatively solved this problem by constructing an identity that cannot be proved using these axioms. In this paper we survey results connected with Tarski’s problem.	en
dc.language	pl	pl
dc.language.iso	pl	pl
dc.rights	Copyright
dc.subject	HSI-algebras	en
dc.subject	exponentiation	en
dc.subject	Wilkie’s identity	en
dc.title	High School Identities	en
dc.title.alternative	Tożsamości szkoły średniej	pl
dc.type	Article	pl
dc.rights.holder	Wydawnictwo Naukowe UP	pl