Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green

DOI10.1016/J.APAL.2003.11.012zbMath1049.03027OpenAlexW2125343205MaRDI QIDQ598306

George F. McNulty

Publication date: 6 August 2004

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2003.11.012

zbMATH Keywords

GroupsEquational logicEquational basesFinite axiomatizationRings

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Equational classes, universal algebra in model theory (03C05)

Related Items (2)

Computer Solutions of Problems in Inverse Semigroups ⋮ Equational spectrum of Hilbert varieties

Cites Work

• Minimal identities for Boolean groups
• An interpolation theorem for irredundant bases of closure structures
• Combinatory interpolation theorems
• Possible cardinalities of irredundant bases for finite closure structures
• Symmetric difference in Abelian groups
• Single identities for lattice theory and for weakly associative lattices
• A single identity for Boolean groups and Boolean rings
• On identities defining lattices
• Equational Theories with a Minority Polynomial
• Equational Bases for Lattice Theories.
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• The decision problem for equational bases of algebras
• Equational Theories of Algebras with Distributive Congruences
• Two Identities for Lattices
• Inverse Loops as Groupoids with One Law
• On Single Equational-Axiom Systems for Abelian Groups
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Minimum bases for equational theories of groups and rings: The work of Alfred Tarski and Thomas Green