Tarski's High School Identities

DOI10.2307/2324454zbMath0782.08010OpenAlexW4249365326MaRDI QIDQ5286078

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

Tarski's High School ProblemWilkie's identityGurevic-algebra

Mathematics Subject Classification ID

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

Related Items (6)

Computers and universal algebra: Some directions ⋮ The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras ⋮ Remarks on isomorphisms in typed lambda calculi with empty and sum types ⋮ Problems on the generation of finite models ⋮ Isomorphic formulae in classical propositional logic ⋮ Dinatural numbers

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