The weakest nontrivial idempotent equations
classification
🧮 math.LO
keywords
conditionequationalequationsnontrivialalgebraicidempotentfindimplied
read the original abstract
An equational condition is a set of equations in an algebraic language, and an algebraic structure satisfies such a condition if it possesses terms that meet the required equations. We find a single nontrivial equational condition which is implied by any nontrivial idempotent equational condition.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.