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  
  • On non-compact p-adic definable groups.Will Johnson & Ningyuan Yao - 2022 - Journal of Symbolic Logic 87 (1):188-213.
    In [16], Peterzil and Steinhorn proved that if a group G definable in an o-minimal structure is not definably compact, then G contains a definable torsion-free subgroup of dimension 1. We prove here a p-adic analogue of the Peterzil–Steinhorn theorem, in the special case of abelian groups. Let G be an abelian group definable in a p-adically closed field M. If G is not definably compact then there is a definable subgroup H of dimension 1 which is not definably compact. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • A note on fsg$\text{fsg}$ groups in p‐adically closed fields.Will Johnson - 2023 - Mathematical Logic Quarterly 69 (1):50-57.
    Let G be a definable group in a p-adically closed field M. We show that G has finitely satisfiable generics ( fsg $\text{fsg}$ ) if and only if G is definably compact. The case M = Q p $M = \mathbb {Q}_p$ was previously proved by Onshuus and Pillay.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations