搜索结果: 1-1 共查到“数理逻辑与数学基础 application of sheaves”相关记录1条 . 查询时间(0.078 秒)
Derived rules for predicative set theory: an application of sheaves
predicative set theory application of sheaves
font style='font-size:12px;'>
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...