Order:
  1.  35
    Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
    We study the notion of dp-minimality, beginning by providing several essential facts about dp-minimality, establishing several equivalent definitions for dp-minimality, and comparing dp-minimality to other minimality notions. The majority of the rest of the paper is dedicated to examples. We establish via a simple proof that any weakly o-minimal theory is dp-minimal and then give an example of a weakly o-minimal group not obtained by adding traces of externally definable sets. Next we give an example of a divisible ordered Abelian (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  2.  29
    Classifying ℵo-categorical theories II: The existence of finitely axiomatizable proper class II theories.George Weaver & David Lippel - 1998 - Studia Logica 60 (2):275-297.
    Clark and Krauss [1977] presents a classification of complete, satisfiable and o-categorical theories in first order languages with finite non-logical vocabularies. In 1988 the first author modified this classification and raised three questions about the distribution of finitely axiomatizable theories. This paper answers two of those questions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  3.  31
    Finitely axiomatizable ω-categorical theories and the Mazoyer hypothesis.David Lippel - 2005 - Journal of Symbolic Logic 70 (2):460-472.
    Let ℱ be the class of complete, finitely axiomatizable ω-categorical theories. It is not known whether there are simple theories in ℱ. We prove three results of the form: if T∈ ℱ has a sufficently well-behaved definable set J, then T is not simple. All of our arguments assume that the definable set J satisfies the Mazoyer hypothesis, which controls how an element of J can be algebraic over a subset of the model. For every known example in ℱ, there (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark