Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 2283

Preprint Number 2283

Previous Next Preprint server

2283. Brian Tyrrell
Finite Undecidability in Fields I: NIP Fields

Submission date: 23 October 2022


A field K in a ring language L is finitely undecidable if Cons(Σ) is undecidable for every nonempty finite Σ ⊆Th(K; L). We extend a construction of Ziegler and 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.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 2210.12729: pdf, ps.

Last updated: November 12 2022 22:06 Please send your corrections to: