Fiala-Agre list of single axioms for Boolean groups is wrong
Aleksandar Krape\v{z}
TL;DR
This paper identifies errors in a recent publication that claimed to list short axioms for Boolean groups, highlighting the need for correction in this area.
Contribution
It critically examines and corrects the previously published list of axioms, providing clarity and accuracy for Boolean group axiomatization.
Findings
Fiala and Agre's list contains mistakes
Corrected axioms are proposed
Highlights importance of rigorous verification
Abstract
We point out mistakes in the recent result by Fiala and Agre concerning short axioms for Boolean groups.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsRings, Modules, and Algebras · Advanced Algebra and Logic · Advanced Topology and Set Theory