Constructing Ultrapowers from Elementary Extensions of Full Clones

MaRDI QIDQ6234061zbMATH OpenFDO

Authors Joseph Van Name

Publication date 30 June 2012

Mathematics Subject Classification ID

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

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.

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)