Scifaro

中文

一个重复点给出 $\omega_1$ 上的闭无界超滤子

逻辑 2023-09-20 v2

作者: William J. Mitchell

在 arXiv 上查看 ↗ PDF ↗

摘要

本文证明了 ZF + DC + “ $\omega_1$ 上的闭无界超滤子是一个超滤子”的相容强度恰好等于 ZFC + 一个可测基数。

关键词

重复点闭无界超滤子 $\omega_1$ 相容强度可测基数决定性公理

引用

@article{arxiv.1403.4690,
  title  = {One Repeat Point Gives a Closed, Unbounded Ultrafilter on {\omega_1}},
  author = {William J. Mitchell},
  journal= {arXiv preprint arXiv:1403.4690},
  year   = {2023}
}

备注

The proof is incorrect, and I doubt that the construction will in fact produce the desired ultrafilter