搜索结果: 1-1 共查到“研招资料 公理集合论”相关记录1条 . 查询时间(1.51 秒)
Comstructing many atomic models in aleph_1
atomic models aleph_1
font style='font-size:12px;'>
2015/9/25
As has been known since at least [?] and is carefully spelled out in Chapter 6 of [?], for
every complete sentence ψ of Lω1,ω (in a countable vocabulary τ ) there is a complete,
first order theory T...