Constructing Ultrapowers from Elementary Extensions of Full Clones

arXiv1207.0118MaRDI QIDQ6234061FDOQ6234061

Authors: Joseph Van Name 

Publication date: 30 June 2012

Abstract: Let $A$ be an infinite set. Let $Omega(A)$ be the algebra over $A$ where every constant is a fundamental constant and every finitary function is a fundamental operation. We shall give a method of representing any algebra $mathcalL$ in the variety generated by $Omega(A)$ as limit reduced powers and even direct limits of limit reduced powers of $mathcalL$. If the algebra $mathcalL$ is elementarily equivalent to $Omega(A)$, then this construction represents $Omega(A)$ as a limit ultrapower and also as direct limits of limit ultrapowers of $Omega(A)$. 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.

Mathematics Subject Classification ID

Free algebras (08B20) Uniform structures and generalizations (54E15) Ultraproducts and related constructions (03C20) Varieties (08B99) Nonstandard models (03H99)

This page was built for publication: Constructing Ultrapowers from Elementary Extensions of Full Clones

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6234061)