Scifaro

中文

利用非单调归纳定义的基础性证明II：一阶算子

逻辑 2013-04-11 v1

作者: Toshiyasu Arai

在 arXiv 上查看 ↗ PDF ↗

摘要

本文给出了 $\Pi_N$ -反射序数的递归记号系统的基础性的两个证明。一个基于 $\Pi_{N-1}^0$ -归纳定义，另一个基于可区分类。

关键词

基础性证明递归记号系统反射序数非单调归纳定义可区分类

引用

@article{arxiv.1005.2007,
  title  = {Wellfoundedness proofs by means of non-monotonic inductive definitions II: first order operators},
  author = {Toshiyasu Arai},
  journal= {arXiv preprint arXiv:1005.2007},
  year   = {2013}
}