论在 ZF 内利用非直谓推理构造 ZF 的一类部分模型（已撤稿）
逻辑
2007-05-23 v3
摘要
本文因在定理 4.21 中发现一处严重错误而撤稿。不过，对于任何对先前“负面结果”具有历史或实用兴趣的人——例如涉及 ZF 的（不）一致性或非直谓推理可靠性的失败证明尝试——欢迎检索本文最初版本，该版本仍可在 arXiv 上获取。
引用
@article{arxiv.math/0404471,
title = {On the Use of Impredicative Reasoning to Construct a Class of Partial Models of ZF Within ZF [Withdrawn]},
author = {Bryan Ford},
journal= {arXiv preprint arXiv:math/0404471},
year = {2007}
}
备注
22 pages