搜索结果: 1-1 共查到“数理逻辑与数学基础 predicative set theory”相关记录1条 . 查询时间(0.093 秒)
Derived rules for predicative set theory: an application of sheaves
predicative set theory application of sheaves
2010/12/8
We show how one may establish proof-theoretic results for constructive Zermelo-Fraenkel set theory, such as the compactness rule for Cantor space and the Bar Induction rule for Baire space, by constru...