×

(mathbb R^{mathbb R}\)中线性化的一个不可判定的例子。 (英语) Zbl 1262.03100号

摘要:最近,已经证明,假设在(mathfrak c)中有一个几乎不相交的基数族(2^{mathfrak-c})(例如,可以通过Martin公理或连续性假设来确定,甚至可以通过(2^{mathfrak c}=mathfrakc)来确定)有一种观点认为,Sierpin-ski-Zygmund函数集是(2^{mathfrak c})-强可代数的(因此,(2^{mathflak c{)-可线性的)。在这里,我们证明了这两种说法实际上是等价的,而且它们都是不可判定的。这将是人们第一次在最近创造的线性和空间性理论中遇到一个无法确定的命题。

MSC公司:

03E15年 描述性集合论
03B25号 理论和句子集的可决定性
26甲15 一个变量中实函数的连续性和相关问题(连续模、半连续性、不连续性等)
26A27年 不可微性(不可微函数,不可微点),不连续导数
PDF格式BibTeX公司 XML格式引用