A solution to identities problem in 2-element HSI-algebras

Mathematical Logic Quarterly

Volumn 50, Issue 2, 2004, Pages 175-178

  Asatryan, Gurgen R ^a  

^a YEREVAN STATE UNIVERSITY   (Armenia)

Author keywords

Arithmetical identity; Exponentiation; HSI algebra

Indexed keywords

EID: 12944278012     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/malq.200310087     Document Type: Article

References (7)

1. G. Asatryan, Arithmetical identities in a 2-element model of Tarski's system. Math. Logic Quarterly 48, 277-282 (2002).
2. S. Burris and S. Lee, Small models of the high school identities. International Journal of Algebra and Computation 2, 139-178 (1992).
3. S. Burris and K. Yeats, The saga of the high school identities. Preprint, University of Waterloo, 2002.
4. R. Gurevič, Equational theory of positive numbers with exponentiation. Proc. Amer. Math. Soc. 94, 135-141 (1985).
5. R. Gurevič, Equational theories of positive numbers with exponentiation is not finitely axiomatizable. Annals Pure Appl. Logic 49, 1-30 (1990).
6. M. G. Jackson, A note on HSI-algebras and counterexamples to Wilkie's identity. Algebra Universalis 36, 528-535 (1996).
7. A. J. Wilkie, On exponentiation - a solution to Tarski's high school algebra problem. Preprint, Oxford University, 1980.