English

On the local closure of clones on countable sets

Logic 2019-09-04 v1 Rings and Algebras

Abstract

We consider clones on countable sets. If such a clone has quasigroup operations, is locally closed and countable, then there is a function f:NNf : \mathbb{N} \to \mathbb{N} such that the nn-ary part of CC is equal to the nn-ary part of PolInv[f(n)]C\mathrm{Pol}\,\mathrm{Inv}^{[f(n)]} C, where Inv[f(n)]C\mathrm{Inv}^{[f(n)]} C denotes the set of f(n)f(n)-ary invariant relations of CC.

Keywords

Cite

@article{arxiv.1609.03722,
  title  = {On the local closure of clones on countable sets},
  author = {Erhard Aichinger},
  journal= {arXiv preprint arXiv:1609.03722},
  year   = {2019}
}