Order:
Disambiguations
Jan E. Holly [4]Jan Holly [2]
  1.  50
    Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
    We present a canonical form for definable subsets of algebraically closed valued fields by means of decompositions into sets of a simple form, and do the same for definable subsets of real closed valued fields. Both cases involve discs, forming "Swiss cheeses" in the algebraically closed case, and cuts in the real closed case. As a step in the development, we give a proof for the fact that in "most" valued fields F, if f(x),g(x) ∈ F[ x] and v is (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2.  34
    Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
    Van den Dries, L. and J. Holly, Quantifier elimination for modules with scalar variables, Annals of Pure and Applied Logic 57 161–179. We consider modules as two-sorted structures with scalar variables ranging over the ring. We show that each formula in which all scalar variables are free is equivalent to a formula of a very simple form, uniformly and effectively for all torsion-free modules over gcd domains . For the case of Presburger arithmetic with scalar variables the result takes a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Prototypes for definable subsets of algebraically closed valued fields.Jan E. Holly - 1997 - Journal of Symbolic Logic 62 (4):1093-1141.
    Elimination of imaginaries for 1-variable definable equivalence relations is proved for a theory of algebraically closed valued fields with new sorts for the disc spaces. The proof is constructive, and is based upon a new framework for proving elimination of imaginaries, in terms of prototypes which form a canonical family of formulas for defining each set that is definable with parameters. The proof also depends upon the formal development of the tree-like structure of valued fields, in terms of valued trees, (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  33
    Cerebellar rhythms: Exploring another metaphor.Patrick D. Roberts, Gin McCollum & Jan E. Holly - 1996 - Behavioral and Brain Sciences 19 (3):471-472.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  27
    Individual data and clear assumptions about movement.Jan E. Holly - 1997 - Behavioral and Brain Sciences 20 (2):313-314.
    It is important to study movement data from individual subjects rather than by averaging data across subjects or trials, because averaged data may follow different laws than those followed by the individual data. This fact can be shown mathematically. In addition, clear assumptions and a thorough understanding of their consequences are a necessary component of any realistic model.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark