{"id":"arxiv/2602.03261","url":"https://arxiv.org/abs/2602.03261","tags":["math.LO"],"score":0,"title":"On some NIP Fragments of Fields","domain":"math.LO","source":"arxiv","authors":["Paulo Andrés Soto Moreno"],"reviews":0,"subject":"math.LO","summary":"In this document we study sets of NIP formulas in some theories of fields and valued fields, with a special focus on the sets of quantifier-free and existential formulas. First, we give a new proof of the fact that Separably Closed Valued Fields of any characteristic and any imperfection degree are NIP, and use this result to fill some gaps of a proof of the so-called NIP Transfer Theorem for henselian valued fields of equal characteristic. Second, we prove a variant of a theorem of Johnson: every positive characteristic valued field whose existential formulas are NIP is henselian, and…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-02-03","reactions":{}}