scientific article; zbMATH DE number 1746898

DOI10.1002/1521-3870(200202)48:2%3C277::AID-MALQ277%3E3.0.CO;2-OMaRDI QIDQ4531090zbMATH OpenFDO

Authors Gurgen R. Asatryan

Publication date 24 July 2002

Full work available at URL https://doi.org/10.1002/1521-3870(200202)48:2%3C277::AID-MALQ277%3E3.0.CO;2-O

zbMATH Keywords

exponential identitiesFermat primesTarski's High School Problem

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Primes (11A41) Model theory (number-theoretic aspects) (11U09)

Recommendations

• A solution to identities problem in 2-element HSI-algebras
• Arithmetical identities in a 2-element model of Tarski's system
• Automated Deduction – CADE-20
• On models of exponentiation. Identities in the HSI-algebra of posets
• On exponentiation -- a solution to Tarski's high school algebra problem
• A note on HSI-algebras and counterexamples to Wilkie's identity
• SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
• Tarski's High School Identities
• Logic for Programming, Artificial Intelligence, and Reasoning
• Equational Theory of Positive Numbers with Exponentiation

Cited in

(5)

• On exponentiation -- a solution to Tarski's high school algebra problem
• Arithmetical identities in a 2-element model of Tarski's system
• On models of exponentiation. Identities in the HSI-algebra of posets
• A solution to identities problem in 2-element HSI-algebras
• Automated Deduction – CADE-20

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531090)