Arithmetical identities in a 2-element model of Tarski's system

Mathematical Logic Quarterly

Volumn 48, Issue 2, 2002, Pages 277-282

  Asatryan, Gurgen ^a  

^a YEREVAN STATE UNIVERSITY   (Armenia)

Author keywords

Arithmetical identities; Exponentiation of positive integers; Models of Tarski's HSI system

Indexed keywords

EID: 0036001812     PISSN: 09425616     EISSN: None     Source Type: Journal    
DOI: 10.1002/1521-3870(200202)48:2<277::AID-MALQ277>3.0.CO;2-O     Document Type: Article

References (6)

1. Small models of the high school identities
2. Equational theory of positive numbers with exponentiation
3. Equational theories of positive numbers with exponentiation is not finitely axiomatizable
4. Some applications of Nevanlinna theory to mathematical logic: Identities exponential functions
5. A note on HSI-algebras and counterexamples to Wilkie's identity