Switch to: Citations

Add references

You must login to add references.
  1. 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  
  • One dimensional groups definable in the p-adic numbers.Juan Pablo Acosta López - 2021 - Journal of Symbolic Logic 86 (2):801-816.
    A complete list of one dimensional groups definable in the p-adic numbers is given, up to a finite index subgroup and a quotient by a finite subgroup.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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...
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Type-definability, compact lie groups, and o-minimality.Anand Pillay - 2004 - Journal of Mathematical Logic 4 (02):147-162.
    We study type-definable subgroups of small index in definable groups, and the structure on the quotient, in first order structures. We raise some conjectures in the case where the ambient structure is o-minimal. The gist is that in this o-minimal case, any definable group G should have a smallest type-definable subgroup of bounded index, and that the quotient, when equipped with the logic topology, should be a compact Lie group of the "right" dimension. I give positive answers to the conjectures (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • 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. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields.Will Johnson - 2020 - Notre Dame Journal of Formal Logic 61 (3):363-381.
    We give a simplified proof of elimination of imaginaries in ACVF, based on ideas of Hrushovski. This proof manages to avoid many of the technical issues which arose in the original proof by Haskell, Hrushovski, and Macpherson.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Stability in geometric theories.Jerry Gagelman - 2005 - Annals of Pure and Applied Logic 132 (2-3):313-326.
    The class of geometric surgical theories is examined. The main theorem is that every stable theory that is interpretable in a geometric surgical theory is superstable of finite U-rank.
    Download  
     
    Export citation  
     
    Bookmark   14 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  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   4 citations