Using Ultrapowers to Compare Continuous Structures
Logic
2022-06-15 v1
Abstract
In 1967 the author introduced a pre-ordering of all first order complete theories where T is lower than U if it is easier for an ultrapower of a model of T than an ultrapower of a model of U to be saturated. In a long series of recent papers, Malliaris and Shelah showed that this pre-ordering is very rich and gives a useful way of classifying simple theories. In this paper we investigate the analogous pre-ordering in continuous model theory.
Keywords
Cite
@article{arxiv.2206.06969,
title = {Using Ultrapowers to Compare Continuous Structures},
author = {H. Jerome Keisler},
journal= {arXiv preprint arXiv:2206.06969},
year = {2022}
}