论文标题
使用超能力比较连续结构
Using Ultrapowers to Compare Continuous Structures
论文作者
论文摘要
在1967年，作者提出了所有一阶理论的预订，其中T比U低于u的理论比t模型的超能比U的超能更容易饱和。在最近的一系列论文中，Malliaris和Shelah表明，这种预购非常丰富，并提供了一种对简单理论进行分类的有用方法。在本文中，我们研究了连续模型理论中类似的预购。
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.
