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

DOI10.1002/malq.200710031zbMath1147.03015OpenAlexW2010081261MaRDI QIDQ3506325

G. 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) Models of arithmetic and set theory (03C62) Equational classes, universal algebra in model theory (03C05)

Cites Work

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

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