Single axioms for groups
DOI10.1007/BF00245293zbMATH Open0794.20001WikidataQ114694848 ScholiaQ114694848MaRDI QIDQ688567FDOQ688567
Authors: Kenneth Kunen 
Publication date: 25 August 1994
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Recommendations
- Single axioms for groups and abelian groups with various operations
- The shortest single axioms for groups of exponent 4
- On single-law definitions of groups
- Another single law for groups
- Yet another single law for groups
- Computer and Human Reasoning: Single Implicative Axioms for Groups and for Abelian Groups
- scientific article; zbMATH DE number 1324436
- Searching for shortest single axioms for groups of exponent \(6\)
- Solution of the Robbins problem
- scientific article; zbMATH DE number 3922990
variableslengthbinary operationinversionsvariety of groupsunary operationlawsMoufang loopautomated theorem-proving program OTTERnon-associative di-associative loopsingle axioms
Software, source code, etc. for problems pertaining to group theory (20-04) Axiomatics and elementary properties of groups (20A05)
Cites Work
Cited In (26)
- Basis reduction for cryptogroups and orthogroups
- Single axioms: With and without computers
- A lower bound of the number of rewrite rules obtained by homological methods
- Searching for shortest single axioms for groups of exponent \(6\)
- Another single law for groups
- Yet another single law for groups
- System description generating models by SEM
- Automatic construction and verification of isotopy invariants
- Fiala-Agre list of single axioms for Boolean groups is wrong
- Group axioms for iteration
- Title not available (Why is that?)
- Applying SAT solving in classification of finite algebras
- OTTER experiments in a system of combinatory logic
- Absolutely Independent Group Axioms
- A method for finding new sets of axioms for classes of semigroups.
- Automated discovery of new axiomatizations of the left group and right group calculi
- A shortest single axiom with neutral element for commutative Moufang loops of exponent 3
- Single axioms for groups and abelian groups with various operations
- The shortest single axioms for groups of exponent 4
- Title not available (Why is that?)
- Computer solutions of problems in inverse semigroups.
- Single axioms for odd exponent groups
- Title not available (Why is that?)
- Ken Kunen: algebraist.
- Shortest single axioms with neutral element for groups of exponent 2 and 3.
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
Uses Software
This page was built for publication: Single axioms for groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q688567)
