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  
  • Tame Topology over dp-Minimal Structures.Pierre Simon & Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (1):61-76.
    In this article, we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multivalued functions.” This generalizes known statements about weakly o-minimal, C-minimal, and P-minimal theories.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Invariant types in NIP theories.Pierre Simon - 2015 - Journal of Mathematical Logic 15 (2):1550006.
    We study invariant types in NIP theories. Amongst other things: we prove a definable version of the [Formula: see text]-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of [Formula: see text]-invariant types to that of [Formula: see text]-finitely satisfiable types; we show some amalgamation results for invariant types and list a number of open questions.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • On Groups with Definable F_-Generics Definable in _P-Adically Closed Fields.Anand Pillay & Y. A. O. Ningyuan - 2023 - Journal of Symbolic Logic 88 (4):1334-1353.
    The aim of this paper is to develop the theory of groups definable in the p-adic field ${{\mathbb {Q}}_p}$, with “definable f-generics” in the sense of an ambient saturated elementary extension of ${{\mathbb {Q}}_p}$. We call such groups definable f-generic groups.So, by a “definable f-generic” or $dfg$ group we mean a definable group in a saturated model with a global f-generic type which is definable over a small model. In the present context the group is definable over ${{\mathbb {Q}}_p}$, and (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The canonical topology on dp-minimal fields.Will Johnson - 2018 - Journal of Mathematical Logic 18 (2):1850007.
    We construct a nontrivial definable type V field topology on any dp-minimal field K that is not strongly minimal, and prove that definable subsets of Kn have small boundary. Using this topology and...
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Dp-finite fields I(A): The infinitesimals.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102947.
    We prove that NIP valued fields of positive characteristic are henselian, and we begin to generalize the known results on dp-minimal fields to dp-finite fields. On any unstable dp-finite field K, we define a type-definable group of “infinitesimals,” corresponding to a canonical group topology on (K, +). We reduce the classification of positive characteristic dp-finite fields to the construction of non-trivial Aut(K/A)-invariant valuation rings.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Definable -Theorem for Families with Vc-Codensity Less Than.Pablo Andújar Guerrero - forthcoming - Journal of Symbolic Logic:1-10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Non-forking and preservation of NIP and dp-rank.Pedro Andrés Estevan & Itay Kaplan - 2021 - Annals of Pure and Applied Logic 172 (6):102946.