Infinitary version of Pol-Inv Galois connection
Logic
2013-10-08 v1
Abstract
In this article, we prove infinitary version of one to one correspondence theorem between clones and relational clones on a fixed possibly infinite set. We also characterize the relational clone corresponding to the clone of all finitary operations. By this characterization, we obtain correspondence between finitary clones on a fixed infinite set and relational clones satisfying some condition.
Keywords
Cite
@article{arxiv.1310.1849,
title = {Infinitary version of Pol-Inv Galois connection},
author = {Shohei Izawa},
journal= {arXiv preprint arXiv:1310.1849},
year = {2013}
}
Comments
5 pages