Scifaro

中文

一阶反射的 Mahlo 类

逻辑 2019-10-16 v1

作者: Toshiyasu Arai

在 arXiv 上查看 ↗ PDF ↗

摘要

在本注记中，我们用 $1\leq k\leq i<N$ 的 $\Pi_{i}$ -递归 Mahlo 运算的迭代，公理化集合论 ${\sf KP}\Pi_{N}$ 中对应于 $\Pi_{N}$ -反射宇宙的 $\Pi_{k+1}$ -推论。

关键词

Mahlo 类一阶反射 ${\sf KP}\Pi_{N}$ $\Pi_{N}$-反射宇宙递归 Mahlo 运算

引用

@article{arxiv.1910.06520,
  title  = {Mahlo classes for first-order reflections},
  author = {Toshiyasu Arai},
  journal= {arXiv preprint arXiv:1910.06520},
  year   = {2019}
}