搜索结果: 1-1 共查到“演绎逻辑学 a-saturated models”相关记录1条 . 查询时间(0.079 秒)
The Schroder-Bernstein property for a-saturated models
Schroder-Bernstein property a-saturated models Logic
2012/3/1
A first-order theory T has the Schr\"oder-Bernstein (SB) property if any pair of elementarily bi-embeddable models are isomorphic. We prove that T has an expansion by constants that has the SB propert...