强依赖选择的若干子理论

Juan P. Aguilera; Yudai Suzuki; Keita Yokoyama

强依赖选择的若干子理论

逻辑 2024-11-27 v1

作者: Juan P. Aguilera , Yudai Suzuki , Keita Yokoyama

摘要

本文我们给出强依赖选择公理体系中，针对 $i > 0$ 且 $e < i+2$ 的 $\Sigma^1_i$ - $\mathsf{SDC}_0$ 公式的 $\Pi^1_{e}$ - consequences、 $\Sigma^1_{e}$ -consequences 和 $\mathsf{B}(\Pi^1_{e})$ -consequences 的特征化。此处， $\mathsf{B}(\Gamma)$ 表示从 $\Gamma$ 开始由 $\land,\lor,\lnot$ 生成的集合。

关键词

强依赖选择子理论 Pi^1_e 后果 Sigma^1_e 后果 B(Pi^1_e)

引用

@article{arxiv.2411.17415,
  title  = {On some subtheories of strong dependent choice},
  author = {Juan P. Aguilera and Yudai Suzuki and Keita Yokoyama},
  journal= {arXiv preprint arXiv:2411.17415},
  year   = {2024}
}

强依赖选择的若干子理论

摘要

关键词

引用

相关论文