搜索结果: 1-1 共查到“数理逻辑与数学基础 geology”相关记录1条 . 查询时间(0.093 秒)
Set-Theoretic Geology
Set-Theoretic Geology Logic
2011/9/20
Abstract: A ground of the universe V is a transitive proper class W subset V, such that W is a model of ZFC and V is obtained by set forcing over W, so that V = W[G] for some W-generic filter G subset...