6 found
Sort by:
Disambiguations:
Kitty Holland [3]Kitty L. Holland [3]
  1. John T. Baldwin & Kitty Holland (2004). Constructing Ω-Stable Structures: Model Completeness. Annals of Pure and Applied Logic 125 (1-3):159-172.
    The projective plane of Baldwin 695) is model complete in a language with additional constant symbols. The infinite rank bicolored field of Poizat 1339) is not model complete. The finite rank bicolored fields of Baldwin and Holland 371; Notre Dame J. Formal Logic , to appear) are model complete. More generally, the finite rank expansions of a strongly minimal set obtained by adding a ‘random’ unary predicate are almost strongly minimal and model complete provided the strongly minimal set is ‘well-behaved’ (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. John T. Baldwin & Kitty Holland (2003). Constructing Ω-Stable Structures: Rank K-Fields. Notre Dame Journal of Formal Logic 44 (3):139-147.
    Theorem: For every k, there is an expansion of the theory of algebraically closed fields (of any fixed characteristic) which is almost strongly minimal with Morley rank k.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. John T. Baldwin & Kitty Holland (2000). Constructing Ω-Stable Structures: Rank 2 Fields. Journal of Symbolic Logic 65 (1):371-391.
    We provide a general framework for studying the expansion of strongly minimal sets by adding additional relations in the style of Hrushovski. We introduce a notion of separation of quantifiers which is a condition on the class of expansions of finitely generated models for the expanded theory to have a countable ω-saturated model. We apply these results to construct for each sufficiently fast growing finite-to-one function μ from 'primitive extensions' to the natural numbers a theory T μ of an expansion (...)
    Direct download (11 more)  
     
    My bibliography  
     
    Export citation  
  4. Kitty L. Holland (1999). Model Completeness of the New Strongly Minimal Sets. Journal of Symbolic Logic 64 (3):946-962.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Kitty L. Holland (1997). Strongly Minimal Fusions of Vector Spaces. Annals of Pure and Applied Logic 83 (1):1-22.
    We provide a simple and transparent construction of Hrushovski's strongly minimal fusions in the case where the fused strongly minimal sets are vector spaces. We strengthen Hrushovski's result by showing that the strongly minimal fusions are model complete.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Kitty L. Holland (1995). An Introduction to Fusion of Strongly Minimal Sets: The Geometry of Fusions. [REVIEW] Archive for Mathematical Logic 34 (6):395-413.
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation