Switch to: Citations

Add references

You must login to add references.
  1. On the structure of semialgebraic sets over p-adic fields.Philip Scowcroft & Lou van den Dries - 1988 - Journal of Symbolic Logic 53 (4):1138-1164.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Cell decomposition for P‐minimal fields.Marie-Hélène Mourgues - 2009 - Mathematical Logic Quarterly 55 (5):487-492.
    In [12], P. Scowcroft and L. van den Dries proved a cell decomposition theorem for p-adically closed fields. We work here with the notion of P-minimal fields defined by D. Haskell and D. Macpherson in [6]. We prove that a P-minimal field K admits cell decomposition if and only if K has definable selection. A preprint version in French of this result appeared as a prepublication [8].
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Cell decomposition and definable functions for weak p‐adic structures.Eva Leenknegt - 2012 - Mathematical Logic Quarterly 58 (6):482-497.
    We develop a notion of cell decomposition suitable for studying weak p-adic structures definable). As an example, we consider a structure with restricted addition.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
    Download  
     
    Export citation  
     
    Bookmark   27 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   25 citations  
  • 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, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Reducts of some structures over the reals.Ya′Acov Peterzil - 1993 - Journal of Symbolic Logic 58 (3):955-966.
    We consider reducts of the structure $\mathscr{R} = \langle\mathbb{R}, +, \cdot, <\rangle$ and other real closed fields. We compete the proof that there exists a unique reduct between $\langle\mathbb{R}, +, <, \lambda_a\rangle_{a\in\mathbb{R}}$ and R, and we demonstrate how to recover the definition of multiplication in more general contexts than the semialgebraic one. We then conclude a similar result for reducts between $\langle\mathbb{R}, \cdot, <\rangle$ and R and for general real closed fields.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Additive reducts of real closed fields.David Marker, Ya'acov Peterzil & Anand Pillay - 1992 - Journal of Symbolic Logic 57 (1):109-117.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A structure theorem for semibounded sets in the reals.Ya'acov Peterzil - 1992 - Journal of Symbolic Logic 57 (3):779-794.
    Download  
     
    Export citation  
     
    Bookmark   12 citations