Switch to: Citations

Add references

You must login to add references.
  1. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A version of o-minimality for the p-adics.Deirdre Haskell & Dugald Macpherson - 1997 - Journal of Symbolic Logic 62 (4):1075-1092.
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
    C-minimality is a variant of o-minimality in which structures carry, instead of a linear ordering, a ternary relation interpretable in a natural way on set of maximal chains of a tree. This notion is discussed, a cell-decomposition theorem for C-minimal structures is proved, and a notion of dimension is introduced. It is shown that C-minimal fields are precisely valued algebraically closed fields. It is also shown that, if certain specific ‘bad’ functions are not definable, then algebraic closure has the exchange (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Relative elimination of quantifiers for Henselian valued fields.Serban A. Basarab - 1991 - Annals of Pure and Applied Logic 53 (1):51-74.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Lipschitz extensions of definable p‐adic functions.Tristan Kuijpers - 2015 - Mathematical Logic Quarterly 61 (3):151-158.
    In this paper, we prove a definable version of Kirszbraun's theorem in a non‐Archimedean setting for definable families of functions in one variable. More precisely, we prove that every definable function, where and, that is λ‐Lipschitz in the first variable, extends to a definable function that is λ‐Lipschitz in the first variable.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Tame topology in Hensel minimal structures.Krzysztof Jan Nowak - 2025 - Annals of Pure and Applied Logic 176 (4):103540.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On variants of o-minimality.Dugald Macpherson & Charles Steinhorn - 1996 - Annals of Pure and Applied Logic 79 (2):165-209.
    Download  
     
    Export citation  
     
    Bookmark   30 citations