You are not currently logged in.
Access JSTOR through your library or other institution:
If You Use a Screen ReaderThis content is available through Read Online (Free) program, which relies on page scans. Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
On the Weak Non-Finite Cover Property and the n-Tuples of Simple Structures
The Journal of Symbolic Logic
Vol. 70, No. 1 (Mar., 2005), pp. 235-251
Published by: Association for Symbolic Logic
Stable URL: http://www.jstor.org/stable/27588356
Page Count: 17
You can always find the topics here!Topics: Axiomatization, First order theories, Induced substructures, Television, Property titles, Quantifier elimination, Algebra
Were these topics helpful?See something inaccurate? Let us know!
Select the topics that are inaccurate.
Since scans are not currently available to screen readers, please contact JSTOR User Support for access. We'll provide a PDF copy for your screen reader.
Preview not available
The weak non-finite cover property (wnfcp) was introduced in  in connection with "axiomatizability" of lovely pairs of models of a simple theory. We find a combinatorial condition on a simple theory equivalent to the wnfcp, yielding a direct proof that the non-finite cover property implies the wnfcp, and that the wnfcp is preserved under reducts. We also study the question whether the wnfcp is preserved when passing from a simple theory T to the theory TP of lovely pairs of models of T (true in the stable case). While the question remains open, we show, among other things, that if (for a T with the wnfcp) TP is low, then TP has the wnfcp. To study this question, we describe "double lovely pairs", and, along the way, we develop the notion of a "lovely n-tuple" of models of a simple theory, which is an analogue of the notion of a beautiful tuple of models of stable theories .
The Journal of Symbolic Logic © 2005 Association for Symbolic Logic