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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Abelian groups definable in P-adically closed fields.Will Johnson & Y. A. O. Ningyuan - forthcoming - Journal of Symbolic Logic:1-22.
    Recall that a group G has finitely satisfiable generics (fsg) or definable f-generics (dfg) if there is a global type p on G and a small model $M_0$ such that every left translate of p is finitely satisfiable in $M_0$ or definable over $M_0$, respectively. We show that any abelian group definable in a p-adically closed field is an extension of a definably compact fsg definable group by a dfg definable group. We discuss an approach which might prove a similar (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Around definable types in p-adically closed fields.Pablo Andújar Guerrero & Will Johnson - 2024 - Annals of Pure and Applied Logic 175 (10):103484.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations