Pseudo-finite homogeneity and saturation
Keyword(s):
AbstractWhen analyzing database query languages a roperty, of theories, the pseudo-finite homogeneity property, has been introduced and applied (cf. [3]). We show that a stable theory has the pseudo-finite homogeneity property just in case its expressive power for finite states is bounded. Moreover, we introduce the corresponding pseudo-finite saturation property and show that a theory fails to have the finite cover property if and only if it has the pseudo-finite saturation property.
1989 ◽
Vol 15
(5)
◽
pp. 632-638
◽
Keyword(s):
1990 ◽
Vol 28
(3)
◽
pp. 282-296
1982 ◽
Vol 7
(2)
◽
pp. 164-186
◽
2005 ◽
pp. 283-300
◽
1993 ◽
Vol 5
(1)
◽
pp. 122-125
◽
Keyword(s):