Lattices of polynomials under substitution

DOI10.1007/BF01196545zbMath0785.08002MaRDI QIDQ2366141

John A. Kalman

Publication date: 29 June 1993

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

structure of lattices of polynomials

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure theory of lattices (06B05) Operations and polynomials in algebraic structures, primal algebras (08A40) Equational classes, universal algebra in model theory (03C05)

Cites Work

• Problems of associativity: a simple proof for the lattice property of systems ordered by a semi-associative law
• The lattice of equational theories. Part II: The lattice of full sets of terms
• A Machine-Oriented Logic Based on the Resolution Principle
• Problèmes d'associativité: Une structure de treillis finis induite par une loi demi-associative
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Lattices of polynomials under substitution