Switch to: References

Add citations

You must login to add citations.
  1. Integration and Cell Decomposition in P-Minimal Structures.Pablo Cubides Kovacsics & Eva Leenknegt - 2016 - Journal of Symbolic Logic 81 (3):1124-1141.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Linear Extension Operators for Continuous Functions on Definable Sets in the P -Adic Context.Athipat Thamrongthanyalak - 2017 - Mathematical Logic Quarterly 63 (1-2):104-108.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Clustered Cell Decomposition in P -Minimal Structures.Saskia Chambille, Pablo Cubides Kovacsics & Eva Leenknegt - 2017 - Annals of Pure and Applied Logic 168 (11):2050-2086.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Computable Valued Fields.Matthew Harrison-Trainor - 2018 - Archive for Mathematical Logic 57 (5-6):473-495.
    We investigate the computability-theoretic properties of valued fields, and in particular algebraically closed valued fields and p-adically closed valued fields. We give an effectiveness condition, related to Hensel’s lemma, on a valued field which is necessary and sufficient to extend the valuation to any algebraic extension. We show that there is a computable formally p-adic field which does not embed into any computable p-adic closure, but we give an effectiveness condition on the divisibility relation in the value group which is (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  • 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.
    No categories
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark  
  • A P-Minimal Structure Without Definable Skolem Functions.Pablo Cubides Kovacsics & Kien Huu Nguyen - 2017 - Journal of Symbolic Logic 82 (2):778-786.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Topological Cell Decomposition and Dimension Theory in P-Minimal Fields.Pablo Cubides Kovacsics, Luck Darnière & Eva Leenknegt - 2017 - Journal of Symbolic Logic 82 (1):347-358.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cell Decomposition and Classification of Definable Sets in P-Optimal Fields.Luck Darnière & Immanuel Halpuczok - 2017 - Journal of Symbolic Logic 82 (1):120-136.
  • 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 (5 more)  
     
    Export citation  
     
    Bookmark   2 citations