Switch to: References

Add citations

You must login to add citations.
  1. Topologizing Interpretable Groups in p-Adically Closed Fields.Will Johnson - 2023 - Notre Dame Journal of Formal Logic 64 (4):571-609.
    We consider interpretable topological spaces and topological groups in a p-adically closed field K. We identify a special class of “admissible topologies” with topological tameness properties like generic continuity, similar to the topology on definable subsets of Kn. We show that every interpretable set has at least one admissible topology, and that every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable group is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Interpolative fusions.Alex Kruckman, Chieu-Minh Tran & Erik Walsberg - 2020 - Journal of Mathematical Logic 21 (2):2150010.
    We define the interpolative fusion T∪∗ of a family i∈I of first-order theories over a common reduct T∩, a notion that generalizes many examples of random or generic structures in the model-theo...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Model completion of scaled lattices and co‐Heyting algebras of p‐adic semi‐algebraic sets.Luck Darnière - 2019 - Mathematical Logic Quarterly 65 (3):305-331.
    Let p be prime number, K be a p‐adically closed field, a semi‐algebraic set defined over K and the lattice of semi‐algebraic subsets of X which are closed in X. We prove that the complete theory of eliminates quantifiers in a certain language, the ‐structure on being an extension by definition of the lattice structure. Moreover it is decidable, contrary to what happens over a real closed field for. We classify these ‐structures up to elementary equivalence, and get in particular (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Topological fields with a generic derivation.Pablo Cubides Kovacsics & Françoise Point - 2023 - Annals of Pure and Applied Logic 174 (3):103211.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark