搜索结果: 1-4 共查到“数理逻辑与数学基础 a-saturated models”相关记录4条 . 查询时间(0.086 秒)
P-NDOP and P-decompositions of aleph_epsilon saturated models of superstable theories
P-NDOP P-decompositions
2015/9/25
Given a complete, superstable theory, we distinguish a class P of
regular types, typically closed under automorphisms of C and non-
orthogonality. We define the notion of P-NDOP, which is a weakenin...
We characterize the stable theories T for which the saturated
models of T admit decompositions. In particular, we show that
countable, shallow, stable theories with NDOP have this property.
The Schr鰀er-Bernstein property for a-saturated models
Schr鰀er-Bernstein property a-saturated models
2015/9/25
A first-order theory T has the Schr╫der-Bernstein (SB) property
if any pair of elementarily bi-embeddable models are isomorphic. We prove
that T has an expansion by constants with the SB property if...
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...