Finite Undecidability in Fields I: NIP Fields

Publication date 23 October 2022

Abstract: A field

K

in a ring language

m a t h c a l L

is finitely undecidable if

m b o x C o n s (S i g m a)

is undecidable for every nonempty finite

S i g m a s u b s e t e q m b o x T h (K; m a t h c a l 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. This work is drawn from the author's PhD thesis.

This page was built for publication: Finite Undecidability in Fields I: NIP Fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6414825)