实数的Delta^2_2良序及L(Q^{MM})的不紧致性
摘要：一个大小为2^(2^aleph_1)的强制偏序集被描述，并且被证明不引入新的实数，提供了实数的Delta^2_2可定义的良序（实际上，任何实数的给定关系都可以在一些泛型扩展中被编码）。编码这个良序是通过使用Aronszajn树的乘积来完成的：某些乘积是特殊的，而其他乘积是Suslin树。本文还涉及Magidor-Malitz逻辑：它在一致性方面是高度不紧致的。
作者：Uri Abraham and Saharon Shelah
论文ID：math/9812115
分类：Logic
分类简称：math.LO
提交时间：2007-05-23