Order:
  1.  43
    Uniformly defining valuation rings in Henselian valued fields with finite or pseudo-finite residue fields.Raf Cluckers, Jamshid Derakhshan, Eva Leenknegt & Angus Macintyre - 2013 - Annals of Pure and Applied Logic 164 (12):1236-1246.
    We give a definition, in the ring language, of Zp inside Qp and of Fp[[t]] inside Fp), which works uniformly for all p and all finite field extensions of these fields, and in many other Henselian valued fields as well. The formula can be taken existential-universal in the ring language, and in fact existential in a modification of the language of Macintyre. Furthermore, we show the negative result that in the language of rings there does not exist a uniform definition (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  2.  75
    A version of p-adic minimality.Raf Cluckers & Eva Leenknegt - 2012 - Journal of Symbolic Logic 77 (2):621-630.
    We introduce a very weak language L M on p-adic fields K, which is just rich enough to have exactly the same definable subsets of the line K that one has using the ring language. (In our context, definable always means definable with parameters.) We prove that the only definable functions in the language L M are trivial functions. We also give a definitional expansion $L\begin{array}{*{20}{c}} ' \\ M \\ \end{array} $ of L M in which K has quantifier elimination, (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  3.  32
    B-minimality.Raf Cluckers & François Loeser - 2007 - Journal of Mathematical Logic 7 (2):195-227.
    We introduce a new notion of tame geometry for structures admitting an abstract notion of balls. The notion is named b-minimality and is based on definable families of points and balls. We develop a dimension theory and prove a cell decomposition theorem for b-minimal structures. We show that b-minimality applies to the theory of Henselian valued fields of characteristic zero, generalizing work by Denef–Pas [25, 26]. Structures which are o-minimal, v-minimal, or p-minimal and which satisfy some slight extra conditions are (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  4.  84
    Presburger sets and p-minimal fields.Raf Cluckers - 2003 - Journal of Symbolic Logic 68 (1):153-162.
    We prove a cell decomposition theorem for Presburger sets and introduce a dimension theory for Z-groups with the Presburger structure. Using the cell decomposition theorem we obtain a full classification of Presburger sets up to definable bijection. We also exhibit a tight connection between the definable sets in an arbitrary p-minimal field and Presburger sets in its value group. We give a negative result about expansions of Presburger structures and prove uniform elimination of imaginaries for Presburger structures within the Presburger (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  5.  88
    (1 other version)Grothendieck rings of ℤ-valued fields.Raf Cluckers & Deirdre Haskell - 2001 - 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 (7 more)  
     
    Export citation  
     
    Bookmark   3 citations