Regular types in nonmultidimensional ω-stable theories
AbstractWe define a hierarchy on the regular types of an ω-stable nonmultidimensional theory, using generalised notions of algebraic and strongly minimal formulae. As an application we show that any resplendent model of an ω-stable finite-dimensional theory is saturated.
2020 ◽
pp. 359-369
1984 ◽
Vol 281
(1)
◽
pp. 389
◽
1984 ◽
Vol 281
(1)
◽
pp. 389-389
1981 ◽
Vol 90
(1)
◽
pp. 195-196
◽
1996 ◽
Vol 144
◽
pp. 59-135
◽
1985 ◽
Vol 288
(1)
◽
pp. 429
◽