Scifaro

中文

可定义的 Davies 定理

逻辑 2009-07-09 v4

作者: Asger Tornquist , William Weiss

在 arXiv 上查看 ↗ PDF ↗

摘要

我们证明了 R.O. Davies 定理的如下类似形式：每个 $\Sigma^1_2$ 函数 $f:\R\times\R\to\R$ 都可以表示为矩形 $\Sigma^1_2$ 函数之和，当且仅当所有实数都是可构造的。

关键词

可定义的 Davies 定理可构造实数 $\Sigma^1_2$ 函数矩形函数描述集合论

引用

@article{arxiv.0711.0162,
  title  = {Definable Davies' Theorem},
  author = {Asger Tornquist and William Weiss},
  journal= {arXiv preprint arXiv:0711.0162},
  year   = {2009}
}

备注

Final version, to appear in Fundamenta Mathematicae