搜索结果: 1-1 共查到“演绎逻辑学 K-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...