搜索结果: 1-2 共查到“数理逻辑与数学基础 Set theory”相关记录2条 . 查询时间(0.15 秒)
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
font style='font-size:12px;'>
2015/9/25
In the early days of the development of model theory it was considered
natural and was certainly beneficial to assume that the theories under investigation
were in a countable language. The primary ...
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...