$\bf{\Sigma^1_3}$-分离性质的一致性

Stefan Hoffelner

doi:10.1142/S0219061322500088

$\bf{\Sigma^1_3}$-分离性质的一致性

逻辑 2025-06-17 v6

作者: Stefan Hoffelner

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

我们通过力迫构造了一个模型，其中 $\bf{\Sigma^1_3}$ -分离性质成立，即每一对不相交的 $\bf{\Sigma^1_3}$ -集都可以被一个 $\bf{\Delta^1_3}$ -可定义集分离。这回答了 A. Mathias 于 1968 年提出的问题列表 $“$ Surrealist landscape with figures $”$ 中的一个老问题。我们还构造了一个模型，其中（轻面） $\Sigma^1_3$ -分离性质成立。

关键词

$\Sigma^1_3$-分离性质 $\Delta^1_3$-可定义集力迫模型构造描述集合论 Mathias 问题

引用

@article{arxiv.1912.11811,
  title  = {The Consistency of the $\bf{\Sigma^1_3}$-Separation Property},
  author = {Stefan Hoffelner},
  journal= {arXiv preprint arXiv:1912.11811},
  year   = {2025}
}

备注

42 pages. Slightly changed coding method which makes several definitions more transparent, while leaving the general flow of ideas and proofs almost unchanged

$\bf{\Sigma^1_3}$-分离性质的一致性

摘要

关键词

引用

备注

相关论文