The class of infinite dimensional quasipolaydic equality algebras is not finitely axiomatizable over its diagonal free reducts
Tarek Sayed Ahmed
TL;DR
This paper proves that the class of infinite dimensional quasipolaydic equality algebras cannot be finitely axiomatized over their diagonal free reducts, highlighting limitations in their logical characterization.
Contribution
It establishes the non-finite axiomatizability of infinite dimensional quasipolaydic equality algebras over their diagonal free reducts, a significant theoretical result.
Findings
Non-finite axiomatizability proven for the class
Highlights limitations in algebraic logical frameworks
Advances understanding of algebraic structures in logic
Abstract
We show that the class of infinite dimensional quasipolaydic equality algebras is not finitely axiomatizable over its diagonal free reducts
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
TopicsAdvanced Topics in Algebra · Rings, Modules, and Algebras · Advanced Algebra and Logic