Problem corner: Proving equivalence of different axiomatizations of free groups

DOI10.1007/BF00244946MaRDI QIDQ1108815zbMATH OpenOpenAlexFDO

Authors Deepak Kapur, Hantao Zhang

Publication date 1988

Published in Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf00244946

zbMATH Keywords

free groupautomatic theorem provercomplete sets of rewrite ruleslexicographic recursive path ordering

Mathematics Subject Classification ID

Free nonabelian groups (20E05) Axiomatics and elementary properties of groups (20A05)

Recommendations

• Some experiments with a completion theorem prover
• Proving group isomorphism theorems
• Some group theoretic examples with completion theorem provers
• Computer proofs in group theory
• scientific article; zbMATH DE number 934902

Cited in

(5)

• The Existence of Level Sets in a Free Group Implies the Axiom of Choice
• Automated proofs of equality problems in Overbeek's competition
• Single axioms for groups and abelian groups with various operations
• Some experiments with a completion theorem prover
• Lattice-ordered groups in deduction

Describes a project that uses

Uses Software

• RRL

This page was built for publication: Problem corner: Proving equivalence of different axiomatizations of free groups

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