非平凡公理系统中某些总递归函数的存在性(I)
cmp-lg
2007-05-23 v1 计算与语言
摘要
我们研究了在给定某些约束条件下，ZFC可证明的总递归一元函数的存在性，并将部分结果应用于证明：对于-可靠的集合论，ZFC。
引用
@article{arxiv.cmp-lg/9804005,
title = {On the existence of certain total recursive functions in nontrivial axiom systems, I},
author = {N. C. A. da Costa and F. A. Doria},
journal= {arXiv preprint arXiv:cmp-lg/9804005},
year = {2007}
}
备注
LaTeX, 16 pages, no figures. This paper was submitted to a major journal in the field and rejected. The referee somehow misundesrtood Corollary 3.8 and wrongly concluded that the proof had either a gap or an error. Can you find whether that error exists?