Pseudo-finite homogeneïty and saturation
Journal of Symbolic Logic 64 (4):1689-1699 (1999)
| Abstract | When 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 | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,631 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesRalph McKenzie (2000). Recursive Inseparability for Residual Bounds of Finite Algebras. Journal of Symbolic Logic 65 (4):1863-1880.
H. Andréka, I. Hodkinson & I. Németi (1999). Finite Algebras of Relations Are Representable on Finite Sets. Journal of Symbolic Logic 64 (1):243-267.
Ian Hodkinson & Martin Otto (2003). Finite Conformal Hypergraph Covers and Gaifman Cliques in Finite Structures. Bulletin of Symbolic Logic 9 (3):387-405.
Barbara Klunder (2003). Amalgamation in Varieties of Pseudo-Interior Algebras. Studia Logica 73 (3):431 - 443.
Wiesław Dziobiak (1981). Strong Completeness with Respect to Finite Kripke Models. Studia Logica 40 (3):249 - 252.
Mitsuhiro Okada & Kazushige Terui (1999). The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. Journal of Symbolic Logic 64 (2):790-802.
Anand Pillay (1995). The Geometry of Forking and Groups of Finite Morley Rank. Journal of Symbolic Logic 60 (4):1251-1259.
Barbara Klunder (2000). Varieties of Pseudo-Interior Algebras. Studia Logica 65 (1):113-136.
Mauro Di Nasso (1998). Pseudo-Superstructures as Nonstandard Universes. Journal of Symbolic Logic 63 (1):222 - 236.
John T. Baldwin, Rami Grossberg & Saharon Shelah (1999). Transfering Saturation, the Finite Cover Property, and Stability. Journal of Symbolic Logic 64 (2):678-684.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-01-28Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
