谓词代数集论的若干方面 II：可实现性
逻辑
2008-01-16 v1 范畴论
摘要
这是关于代数集论与谓词形式系统之间关系系列论文的第二篇。在第一部分中，我们引入了小映射的谓词范畴 (predicative category of small maps) 的概念，并得出此类范畴总是包含一个集论模型的结论。在本文中，我们表明构造性集论 CZF 和 IZF 的熟悉可实现性模型 (realizability models) 可作为该结果的一个应用而获得。为此，我们证明了带有小映射的谓词范畴在内部的可实现性概念下是封闭的。
引用
@article{arxiv.0801.2305,
title = {Aspects of Predicative Algebraic Set Theory II: Realizability},
author = {Benno van den Berg and Ieke Moerdijk},
journal= {arXiv preprint arXiv:0801.2305},
year = {2008}
}