English

Results on Polyadic Algebras

Logic 2013-04-11 v1

Abstract

While every polyadic algebra (\PA\PA) 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 n>1n>1, there are two nn dimensional polyadic atom structures \At1\At_1 and \At2\At_2 that are L,ωL_{\infty,\omega} equivalent, and there exist atomic \A,\B\PAn\A,\B\in \PA_n, such that \At\A=\At1\At\A=\At_1 and \At\B=\At2\At\B= \At_2, \A\Nrn\PAω\A\in \Nr_n\PA_{\omega} and \B\Nrn\PAn+1\B\notin \Nr_n\PA_{n+1}. This can also be done for infinite dimensions (but we omit the proof)

Keywords

Cite

@article{arxiv.1304.2932,
  title  = {Results on Polyadic Algebras},
  author = {Tarek Sayed Ahmed},
  journal= {arXiv preprint arXiv:1304.2932},
  year   = {2013}
}

Comments

arXiv admin note: text overlap with arXiv:1304.1149

R2 v1 2026-06-21T23:57:16.067Z