Between reduced powers and ultrapowers
Ilijas Farah
York University, Toronto, Canada; Matematicki Institut SANU, Beograd, Serbia
![Between reduced powers and ultrapowers cover](/_next/image?url=https%3A%2F%2Fcontent.ems.press%2Fassets%2Fpublic%2Fimages%2Fserial-issues%2Fcover-jems-volume-25-issue-11.png&w=3840&q=90)
Abstract
One of our results is a transfer principle between ultrapowers and reduced powers associated with the Fréchet ideal. Although motivated by the Elliott classification programme, this result applies to any axiomatizable category. We also show that there exists a nonprincipal ultrafilter on such that for every countable (or separable metric) structure in a countable language the quotient map from the reduced power associated with the Fréchet ideal onto an ultrapower has a right inverse. While the transfer principle is proved without appealing to additional set-theoretic axioms, the conclusion of the latter theorem relies on the Continuum Hypothesis and it is independent of the standard axioms of set theory. We also prove that in the category of -algebras, tensoring with the -algebra of all continuous functions on the Cantor space preserves elementary equivalence. As a side note, neither the Jiang–Su algebra nor any UHF algebra share this property.
Cite this article
Ilijas Farah, Between reduced powers and ultrapowers. J. Eur. Math. Soc. 25 (2023), no. 11, pp. 4369–4394
DOI 10.4171/JEMS/1279