关于所需实数
摘要：对于二元关系R在实数集上，我们称实数a为R的“必需品”，如果在每个R-充分集中，我们可以找到一个元素，使得a在其中图灵可计算。我们证明了对于Cof(N)的每个必需的实数都是超可算的。用“具有最小基数的R-充分集”替换“R-充分集”，我们得到了“弱必需”概念的相关概念。我们证明了对于收获关系而言，这两个概念在某些模型中不一致（在许多模型中它们是一致的）。我们证明了并非所有超算实数都是收获关系的必需品。这回答了Blass于1999年12月在Oberwolfach会议上提出的一些问题。
作者：Heike Mildenberger and Saharon Shelah
论文ID：math/0104276
分类：Logic
分类简称：math.LO
提交时间：2007-05-23