Constructing Ultrapowers from Elementary Extensions of Full Clones
Logic
2012-07-03 v1
Abstract
Let be an infinite set. Let be the algebra over where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of representing any algebra in the variety generated by as limit reduced powers and even direct limits of limit reduced powers of . If the algebra is elementarily equivalent to , then this construction represents as a limit ultrapower and also as direct limits of limit ultrapowers of . This method therefore gives a method of representing Boolean ultrapowers and other generalizations of the ultrapower construction as limit ultrapowers and direct limits of limit ultrapowers.
Keywords
Cite
@article{arxiv.1207.0118,
title = {Constructing Ultrapowers from Elementary Extensions of Full Clones},
author = {Joseph Van Name},
journal= {arXiv preprint arXiv:1207.0118},
year = {2012}
}