Tarski's High School Identities

DOI10.2307/2324454MaRDI QIDQ5286078zbMATH OpenOpenAlexFDO

Authors Simon C. K. Lee, Stanley N. Burris

Publication date 29 June 1993

Published in The American Mathematical Monthly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2324454

zbMATH Keywords

Gurevic-algebraTarski's High School ProblemWilkie's identity

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Varieties (08B99)

Recommendations

• Equational Theory of Positive Numbers with Exponentiation
• SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
• Arithmetical identities in a 2-element model of Tarski's system

Cited in

(19)

• A note on HSI-algebras and counterexamples to Wilkie's identity
• Dinatural numbers
• Computers and universal algebra: Some directions
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• The saga of the high school identities
• On exponentiation -- a solution to Tarski's high school algebra problem
• Arithmetical identities in a 2-element model of Tarski's system
• Isomorphic formulae in classical propositional logic
• On models of exponentiation. Identities in the HSI-algebra of posets
• Equational Theory of Positive Numbers with Exponentiation
• SMALL MODELS OF THE HIGH SCHOOL IDENTITIES
• scientific article; zbMATH DE number 1746898 (Why is no real title available?)
• The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
• Problems on the generation of finite models
• Automated Deduction – CADE-20
• Logic for Programming, Artificial Intelligence, and Reasoning
• Finite models for positive combinatorial and exponential algebra
• Cyclic Arithmetic and Combinatorial Operations
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable

This page was built for publication: Tarski's High School Identities

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