The shortest single axioms for groups of exponent 4

DOI10.1016/0898-1221(94)00212-4zbMath0820.20001OpenAlexW2015229744WikidataQ114683438 ScholiaQ114683438MaRDI QIDQ1343390

Kenneth Kunen

Publication date: 11 September 1995

Published in: Computers \& Mathematics with Applications (Search for Journal in Brave)

Full work available at URL: http://digital.library.wisc.edu/1793/59698

zbMATH Keywords

varieties of groupssingle axiomsautomated reasoning program OTTERgroups of exponent 4groups of finite even exponent

Mathematics Subject Classification ID

Related Items (4)

Single axioms for odd exponent groups ⋮ Searching for shortest single axioms for groups of exponent \(6\) ⋮ A method for finding new sets of axioms for classes of semigroups. ⋮ Ken Kunen: algebraist.

Uses Software

• OTTER

Cites Work

• Single axioms for groups
• Single axioms for groups and abelian groups with various operations
• Equational logic
• Another single law for groups
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The shortest single axioms for groups of exponent 4