14 found
Sort by:
  1. Matthias Aschenbrenner, Alf Dolich, Deirdre Haskell, Dugald Macpherson & Sergei Starchenko (2013). Vapnik–Chervonenkis Density in Some Theories Without the Independence Property, II. Notre Dame Journal of Formal Logic 54 (3-4):311-363.
    We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Deirdre Haskell, Ehud Hrushovski & Dugald Macpherson (2013). Unexpected Imaginaries in Valued Fields with Analytic Structure. Journal of Symbolic Logic 78 (2):523-542.
    We give an example of an imaginary defined in certain valued fields with analytic structure which cannot be coded in the ‘geometric' sorts which suffice to code all imaginaries in the corresponding algebraic setting.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  3. G. Aldo Antonelli, Laurent Bienvenu, Lou van den Dries, Deirdre Haskell, Justin Moore, Christian Rosendal Uic, Neil Thapen & Simon Thomas (2012). University of California at Berkeley Berkeley, CA, USA March 24–27, 2011. Bulletin of Symbolic Logic 18 (2).
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. Deirdre Haskell (2012). Model Theory of Analytic Functions: Some Historical Comments. Bulletin of Symbolic Logic 18 (3):368-381.
    Model theorists have been studying analytic functions since the late 1970s. Highlights include the seminal work of Denef and van den Dries on the theory of the p-adics with restricted analytic functions, Wilkie's proof of o-minimality of the theory of the reals with the exponential function, and the formulation of Zilber's conjecture for the complex exponential. My goal in this talk is to survey these main developments and to reflect on today's open problems, in particular for theories of valued fields.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  5. Deirdre Haskell & Yoav Yaffe (2008). Ganzstellensätze in Theories of Valued Fields. Journal of Mathematical Logic 8 (01):1-22.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Steve Awodey, Raf Cluckers, Ilijas Farah, Solomon Feferman, Deirdre Haskell, Andrey Morozov, Vladimir Pestov, Andre Scedrov, Andreas Weiermann & Jindrich Zapletal (2006). Stanford University, Stanford, CA March 19–22, 2005. Bulletin of Symbolic Logic 12 (1).
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Ilijas Farah, Deirdre Haskell, Andrey Morozov, Vladimir Pestov & Jindrich Zapletal (2006). 2005 Annual Meeting of the Association for Symbolic Logic. Bulletin of Symbolic Logic 12 (1):143.
     
    My bibliography  
     
    Export citation  
  8. Raf Cluckers & Deirdre Haskell (2001). Grothendieck Rings of ℤ-Valued Fields. Bulletin of Symbolic Logic 7 (2):262-269.
    We prove the triviality of the Grothendieck ring of a Z-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K 2 to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  9. Raf Cluckers & Deirdre Haskell (2001). Grothendieck Rings of $Mathbb{Z}$-Valued Fields. Bulletin of Symbolic Logic 7 (2):262-269.
    We prove the triviality of the Grothendieck ring of a $\mathbb{Z}$-valued field K under slight conditions on the logical language and on K. We construct a definable bijection from the plane K$^2$ to itself minus a point. When we specialized to local fields with finite residue field, we construct a definable bijection from the valuation ring to itself minus a point.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Deirdre Haskell & Dugald Macpherson (1998). A Note on Valuation Definable Expansions of Fields. Journal of Symbolic Logic 63 (2):739-743.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  11. Deirdre Haskell (1997). Review: J. Denef, L. Van den Dries, $ P $-Adic and Real Subanalytic Sets. [REVIEW] Journal of Symbolic Logic 62 (4):1481-1483.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  12. Deirdre Haskell & Dugald Macpherson (1997). A Version of o-Minimality for the P-Adics. Journal of Symbolic Logic 62 (4):1075-1092.
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  13. Deirdre Haskell & Dugald Macpherson (1994). Cell Decompositions of C-Minimal Structures. Annals of Pure and Applied Logic 66 (2):113-162.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  14. Deirdre Haskell (1992). A Transfer Theorem in Constructive P-Adic Algebra. Annals of Pure and Applied Logic 58 (1):29-55.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation