Switch to: References

Add citations

You must login to add citations.
  1. Finite Undecidability in Nip Fields.Brian Tyrrell - forthcoming - Journal of Symbolic Logic:1-24.
    A field K in a ring language $\mathcal {L}$ is finitely undecidable if $\mbox {Cons}(T)$ is undecidable for every nonempty finite $T \subseteq {\mathtt{Th}}(K; \mathcal {L})$. We extend a construction of Ziegler and (among other results) use a first-order classification of Anscombe and Jahnke to prove every NIP henselian nontrivially valued field is finitely undecidable. We conclude (assuming the NIP Fields Conjecture) that every NIP field is finitely undecidable. This work is drawn from the author’s PhD thesis [48, Chapter 3].
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Forking and dividing in fields with several orderings and valuations.Will Johnson - 2021 - Journal of Mathematical Logic 22 (1).
    We consider existentially closed fields with several orderings, valuations, and p-valuations. We show that these structures are NTP2 of finite burden, but usually have the independence property. Mo...
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Henselian expansions of NIP fields.Franziska Jahnke - 2023 - Journal of Mathematical Logic 24 (2).
    Let K be an NIP field and let v be a Henselian valuation on K. We ask whether [Formula: see text] is NIP as a valued field. By a result of Shelah, we know that if v is externally definable, then [Formula: see text] is NIP. Using the definability of the canonical p-Henselian valuation, we show that whenever the residue field of v is not separably closed, then v is externally definable. In the case of separably closed residue field, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Forking and dividing in fields with several orderings and valuations.Will Johnson - 2022 - Journal of Mathematical Logic 22 (1):2150025.
    We consider existentially closed fields with several orderings, valuations, and [Formula: see text]-valuations. We show that these structures are NTP2 of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and [Formula: see text]CF.
    Download  
     
    Export citation  
     
    Bookmark   2 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