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

DOI10.1016/J.APAL.2003.11.012MaRDI QIDQ598306zbMATH OpenOpenAlexFDO

Authors 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

Equational basesEquational logicFinite axiomatizationGroupsRings

Mathematics Subject Classification ID

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

Recommendations

• Finite axiomatizability for equational theories of computable groupoids
• scientific article; zbMATH DE number 2070157
• Definability for equational theories of commutative groupoids.
• Single axioms: With and without computers
• Elementary theory of free non-abelian groups.

Cites work

• scientific article; zbMATH DE number 3122416 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 3550935 (Why is no real title available?)
• scientific article; zbMATH DE number 3332449 (Why is no real title available?)
• scientific article; zbMATH DE number 3019695 (Why is no real title available?)
• scientific article; zbMATH DE number 3079597 (Why is no real title available?)
• A single identity for Boolean groups and Boolean rings
• An interpolation theorem for irredundant bases of closure structures
• Combinatory interpolation theorems
• Equational Bases for Lattice Theories.
• Equational Theories of Algebras with Distributive Congruences
• Equational Theories with a Minority Polynomial
• Inverse Loops as Groupoids with One Law
• Minimal identities for Boolean groups
• On Single Equational-Axiom Systems for Abelian Groups
• On identities defining lattices
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Possible cardinalities of irredundant bases for finite closure structures
• Single identities for lattice theory and for weakly associative lattices
• Symmetric difference in Abelian groups
• The decision problem for equational bases of algebras
• Two Identities for Lattices

Cited in

(2)

• Equational spectrum of Hilbert varieties
• Computer solutions of problems in inverse semigroups.

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

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