A note on HSI-algebras and counterexamples to Wilkie's identity (Q1272248)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1226567
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A note on HSI-algebras and counterexamples to Wilkie's identity |
scientific article; zbMATH DE number 1226567 |
Statements
A note on HSI-algebras and counterexamples to Wilkie's identity (English)
0 references
24 November 1998
0 references
The ``High School Identities'' (briefly HSI) consist of the set of identities of unitary semiring together with the exponentiation laws. Tarski's ``High School Problem'' is whether the HSI form a basis for the equational theory of \(N=(N;+,\cdot ,\uparrow ,1)\). \textit{R. Gurevič} proved in 1985 the first counterexample with a rather complicated 59-element algebra. \textit{S. Burris} and \textit{S. Lee} show in 1992 that the smallest counterexample has its cardinality bounds in the interval \(\langle 7,15\rangle\). The author improves this estimation to the interval \(\langle 8,14\rangle\).
0 references
HSI-algebras
0 references
Gurevič algebras
0 references
Tarski's High School Problem
0 references
equational theory
0 references
0 references
0.8783409595489502
0 references
0.8659595251083374
0 references
0.852476179599762
0 references
