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  
  • Burden in Henselian valued fields.Pierre Touchard - 2023 - Annals of Pure and Applied Logic 174 (10):103318.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Dp-finite fields I(B): Positive characteristic.Will Johnson - 2021 - Annals of Pure and Applied Logic 172 (6):102949.
    Download  
     
    Export citation  
     
    Bookmark   3 citations