On models of exponentiation. Identities in the HSI-algebra of posets

DOI10.1002/MALQ.200710031MaRDI QIDQ3506325zbMATH OpenOpenAlexFDO

Authors Gurgen R. Asatryan

Publication date 12 June 2008

Published in MLQ (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.200710031

zbMATH Keywords

exponentiationequational theoryHSI-algebrasWilkie's identityalgebra of posetsidentities of positive integers

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Equational classes, universal algebra in model theory (03C05) Models of arithmetic and set theory (03C62)

Recommendations

• scientific article; zbMATH DE number 1746898
• A note on HSI-algebras and counterexamples to Wilkie's identity
• Arithmetical identities in a 2-element model of Tarski's system
• A solution to identities problem in 2-element HSI-algebras
• Tarski's High School Identities
• Automated Deduction – CADE-20
• On exponentiation -- a solution to Tarski's high school algebra problem
• SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
• A note on HS-algebras
• Equational Theory of Positive Numbers with Exponentiation

Cites work

• Automated Deduction – CADE-20
• Discriminator varieties and symbolic computation
• Logic for Programming, Artificial Intelligence, and Reasoning

Cited in

(3)

• A solution to identities problem in 2-element HSI-algebras
• scientific article; zbMATH DE number 1746898 (Why is no real title available?)
• SMALL MODELS OF THE HIGH SCHOOL IDENTITIES

This page was built for publication: On models of exponentiation. Identities in the HSI-algebra of posets

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