10 research outputs found
Universal graphs with forbidden subgraphs and algebraic closure
We apply model theoretic methods to the problem of existence of countable
universal graphs with finitely many forbidden connected subgraphs. We show that
to a large extent the question reduces to one of local finiteness of an
associated''algebraic closure'' operator. The main applications are new
examples of universal graphs with forbidden subgraphs and simplified treatments
of some previously known cases
Construction of stable and omega-stable pseudoplanes.
Construction of stable and omega-stable pseudoplanes
A NOTE ON WEAK DIVIDING
Abstract. We study the notion of weak dividing introduced by S. Shelah. In particular we prove that T is stable iff weak dividing is symmetric. In order to study simple theories Shelah originally defined weak dividing in [6]. This notion is overshadowed by that of dividing, as the first author proved that dividing is the right well-behaved notion for simple theories [2],[3],[5],and [4]. However Dolich’s paper[1] reminded us that weak dividing is still an interesting notion. There he noted that weak dividing is symmetric and transitive in stable theories, and that simplicity is characterized by the property that dividing implies weak dividing. Here we continue the investigation of the notion of weak dividing. Intriguingly, what weak dividing is to stability is analogous with what dividing is to simplicity. For example, we show that weak dividing is symmetric only in stable theories (2.5). Stability is also equivalent to left local character of weak dividing. However for the transitivity of weak dividing, a similar analogy does not exist. Namely, in a non-stable simple theory (e.g. the theory of the random graph), weak dividing can be transitive (2.7). As usual, we work in a saturated model of an arbitrary complete theory T. Notation wil