Model theory and set theory
We continue [1] to study the expansion of stable structures by adding predicate for arbitrary subset. Call a set A (weakly) benign if any type over A in the expanded language is determined by its restriction to (strong) type of the base language.
In our report we consider the conditions, when stable sets are weakly benign.
REFERENCE
[1] Bektur Baizhanov and John T. Baldwin, Local Homogeneity, The Journal of Symbolic Logic, Vol. 69 (2004), pp. 1243-1260.
Mail to Webmaster alc9@math.nsc.ru |
|Home Page| |English Part| |
Go to Home |