搜索结果: 1-4 共查到“数学 set theory”相关记录4条 . 查询时间(0.25 秒)
昆明理工大学理学院概率论与数理统计课件Chapter 0 An Introduction to Set Theory
昆明理工大学理学院 概率论与数理统计 课件 Chapter 0 An Introduction to Set Theory
2017/4/17
昆明理工大学理学院概率论与数理统计课件Chapter 0 An Introduction to Set Theory.
Descriptive set theory and uncountable model theory
Descriptive set theory uncountable model theory
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
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...
Set Theory Page
Theory Page
2008/1/14
Presents a directory of Web sites pertaining to set theory, compiled by Luis E. Sanchis. Links to resources on bounded, constructive,and operational set theory. Offers access to sites on programming w...