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

DOI10.1016/J.APAL.2003.11.012zbMATH Open1049.03027OpenAlexW2125343205MaRDI QIDQ598306FDOQ598306

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

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.

zbMATH Keywords

Equational basesEquational logicFinite axiomatizationGroupsRings

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Equational Theories of Algebras with Distributive Congruences
• Title not available (Why is that?)
• Single identities for lattice theory and for weakly associative lattices
• Title not available (Why is that?)
• The decision problem for equational bases of algebras
• 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
• A single identity for Boolean groups and Boolean rings
• On identities defining lattices
• Title not available (Why is that?)
• 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
• Two Identities for Lattices
• Inverse Loops as Groupoids with One Law
• On Single Equational-Axiom Systems for Abelian Groups

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)