English

Automatic Homeomorphicity of Locally Moving Clones

Logic 2016-07-27 v3

Abstract

We extend the work of M. Rubin on locally moving groups to clones, showing that a locally moving polymorphism clone has automatic homeomorphicity with respect to the class of all polymorphism clones. We show that if Pol(M,L)\mathrm{Pol}(M,\mathcal{L}) is the polymorphism clone of a reduct of (Q,<)(\mathbb{Q},<) or (L,C)(\mathbb{L},C) such that Aut(M,L)Aut(M,=)\mathrm{Aut}(M,\mathcal{L}) \not= \mathrm{Aut}(M,=) and End(M,L)=Emb(M,L)\mathrm{End}(M,\mathcal{L}) = \mathrm{Emb}(M,\mathcal{L}) then Pol(M,L)\mathrm{Pol}(M,\mathcal{L}) is locally moving (and hence has automatic homeomorphicity with respect to the class of all polymorphism clones), where Q\mathbb{Q} is the rationals, (L,C)(\mathbb{L},C) is the infinite binary-branching homogeneous CC-relation. We also show that if M=(B,,,c,1,0)\mathcal{M}=(\mathbb{B}, \cup , \cap, \,^c, 1, 0), the Fra\"{i}ss\`{e} Generic Boolean algebra, then Pol(M)\mathrm{Pol}(\mathcal{M}) is locally moving.

Keywords

Cite

@article{arxiv.1512.00251,
  title  = {Automatic Homeomorphicity of Locally Moving Clones},
  author = {Robert Barham},
  journal= {arXiv preprint arXiv:1512.00251},
  year   = {2016}
}