7 found
Order:
Disambiguations:
Kitty L. Holland [4]Kitty Holland [3]
  1.  2
    Kitty L. Holland (1999). Model Completeness of the New Strongly Minimal Sets. Journal of Symbolic Logic 64 (3):946-962.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  2.  23
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  3.  3
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  4.  8
    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)  
     
    Export citation  
     
    My bibliography  
  5.  3
    Kitty L. Holland (1993). Projective Geometries of Algebraically Closed Fields of Characteristic Zero. Annals of Pure and Applied Logic 60 (3):237-260.
    Fix an algebraically closed field of characteristic zero and let G be its geometry of transcendence degree one extensions. Let X be a set of points of G. We show that X extends to a projective subgeometry of G exactly if the partial derivatives of the polynomials inducing dependence on its elements satisfy certain separability conditions. This analysis produces a concrete representation of the coordinatizing fields of maximal projective subgeometries of G.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  6.  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)  
     
    Export citation  
     
    My bibliography  
  7.  8
    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)  
     
    Export citation  
     
    My bibliography