
TL;DR
This paper investigates the properties of polyadic algebras, showing limitations in their representability and elementary classification across dimensions, and constructing specific atom structures with particular logical equivalences.
Contribution
It demonstrates that not all atomic polyadic algebras are completely representable, and provides a uniform method for constructing weak atom structures that are not strong, extending to infinite dimensions.
Findings
Not all atomic polyadic algebras of dimension two are completely representable.
The class of atomic polyadic algebras is elementary in dimension two but not for higher dimensions.
Existence of atom structures that are $L_{,}$ equivalent but differ in representability properties.
Abstract
While every polyadic algebra () of dimension 2 is representable, we show that not every atomic polyadic algebra of dimension two is completely representable; though the class is elementary. Using higly involved constructions of Hirsch and Hodkinson we show that it is not elementary for higher dimensions a result that, to the best of our knowledge, though easily destilled from the literature, was never published. We give a uniform flexible way of constructing weak atom structures that are not strong, and we discuss the possibility of extending such result to infinite dimensions. Finally we show that for any finite , there are two dimensional polyadic atom structures and that are equivalent, and there exist atomic , such that and , and . This can…
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 · Advanced Algebra and Logic · Algebraic structures and combinatorial models
