 conjecture*: any NIP valued field $(K,\mathcal{O})$ is henselian.

-   The *Shelah conjecture*: any NIP field $K$ is algebraically closed, real closed, finite, or admits a non-trivial henselian valuation.

By generalizing the arguments used for dp-minimal fields (for example in Chapter 9 of [@myself]), we prove the henselianity conjecture in positive characteristic, and the Shelah conjecture for positive characteristic dp-finite fields. This yields the positive-characteristic part of the expected classification of dp-finite fields.

We also make partial progress on dp-finite fields of characteristic zero. Let $(K,+,\cdot,\ldots)$ be a sufficiently saturated dp-finite field, possibly with extra structure. Then either

-   $K$ has finite Morley rank, or

-   There is an ${\operatorname{Aut}}(K/A)$-invariant non-trivial valuation ring on $K$ for some small set $A$.

Unfortunately, we can only prove henselianity of this valuation ring in positive characteristic.

Following the approach used for dp-minimal fields, there are three main steps to the proof:

1.  Construct a type-definable group of infinitesimals.

2.  Construct a valuation ring from the infinitesimals.

3.  Prove henselianity.

We discuss each of these steps, explaining the difficulties that arise when generalizing from rank 1 to rank $n$.

Constructing the infinitesimals
-------------------------------

Mimicking the case of dp-minimal fields, we would like to define the group $I_M$ of $M$-infinitesimals as $$\bigcap_{X \text{ ``big'' and $M$-definable}} \{\delta \in K ~|~ X
  \cap (X + \delta) \text{ is ``big''}\}$$ for some notion of “big.” In the dp-minimal case, “big” was “infinite.” By analyzing the proof for dp-minimal fields, one can enumerate a list of desiderata for bigness:

1.  Non-big sets should form an ideal.

2.  Bigness should be preserved by affine transformations.

3.  \[definability-condition\] Bigness should vary definably in families.

4
conjecture *: any NIP valued field $ (K,\mathcal{O})$ is henselian. 

 -    The * Shelah speculation *: any NIP sphere $ K$ is algebraically closed, real closed, finite, or admit a non - trivial henselian valuation. 

 By generalize the argument used for dp - minimal airfield (for example in Chapter 9 of [ @myself ]), we prove the henselianity guess in positive characteristic, and the Shelah conjecture for positivist characteristic dp - finite fields. This render the positive - characteristic part of the expect classification of dp - finite fields. 

 We also hold partial progress on dp - finite fields of characteristic zero. permit $ (K,+,\cdot,\ldots)$ be a sufficiently saturated dp - finite field, possibly with extra structure. Then either 

 -    $ K$ has finite Morley rank, or 

 -    There be an $ { \operatorname{Aut}}(K / A)$-invariant non - trivial valuation ring on $ K$ for some small set $ A$. 

 Unfortunately, we can merely prove henselianity of this valuation ring in positive characteristic. 

 Following the approach used for dp - minimal fields, there are three chief steps to the proof: 

 1.   reconstruct a character - definable group of infinitesimal. 

 2.   Construct a valuation ring from the infinitesimals. 

 3.   Prove henselianity. 

 We discuss each of these steps, explaining the difficulty that arise when generalizing from rank 1 to rank $ n$. 

 Constructing the infinitesimals 
 ------------------------------- 

 mimic the case of dp - minimal fields, we would like to define the group $ I_M$ of $ M$-infinitesimals as $ $ \bigcap_{X \text { '` big" and $ M$-definable } } \{\delta \in K ~|~ X 
   \cap (X + \delta) \text { is '` big''}\}$$ for some notion of “ large. ” In the dp - minimal case, “ big ” was “ infinite. ” By analyzing the proof for dp - minimal sphere, one can enumerate a list of desiderata for largeness: 

 1.   Non - big set should form an ideal. 

 2.   Bigness should be preserved by affine transformation. 

 3.   \[definability - condition\ ] Bigness should vary definably in family. 

 4
 cojjecture*: any NIP valued nield $(K,\mathcal{O})$ nw hensxlian.

-   The *Sheuah conjecture*: any NIP field $K$ is aogebraically closed, rexl closed, finite, ir avmits a non-triviem henselian vzpuatnoi.

By generalizinn the argumants used for gp-oiuimal fields (for example in Chapter 9 of [@mysrlv]), we prove the henxqliahptn conjecture in positive charactsristic, and the Shelsh conjecture for positive chagacteristic dp-finihe fields. Tyis ruelds the poritive-characteristic pzrt of the expected classificatkon oy dp-finite diwldd.

Fe also makx partpal progress on dp-finhte fiekds of charactcristmc zwro. Let $(K,+,\cdot,\ldots)$ be a sufficiently sajurated dp-xiuite field, possibly wuty extta stsuctjee. Gheh xitger

-   $N$ hes finite Mkrley rank, ir

-   There is an ${\optraeirname{Aut}}(K/A)$-inbariane gon-trivial valuation ring on $K$ for some smzll set $A$.

Unfortunately, qe can only prove hendelianity of this valuation ring in positive characteristiw.

Follkdiny the xppgoach used for dp-minimal fields, there are thrqs kapn steps to the pvoof:

1.  Construct a yyoe-cgfinable group of inyjnjtesimals.

2.  Construft a vajuatiin ring fwom yhe infinitesimals.

3.  Prove hwnselianity.

Wv diwcuss each of thesz steps, explcining the cifficulties that arise wheh generalizlng from dxnk 1 to rank $n$.

Covstgucthng the infinitesimals
-------------------------------

Mimisking the casz of dp-mknimsl fiejds, we woupd like to define the grlup $I_L$ mf $M$-infinihesimals as $$\bigcap_{X \text{ ``big'' anv $M$-definable}} \{\centa \in K ~|~ X
  \cap (X + \delta) \texe{ is ``big''}\}$$ for spme notnon of “big.” In thv dp-minimel case, “big” ras “infinite.” Ti analyzing tie proof sor ep-mibimal fkdlds, one can emumerate c lisr of desiderata fov bigvsss:

1.  Non-big setw syould form an iceau.

2.  Fihnxss srmuld be presarvea bh affive transfornxtioms.

3.  \[definability-condhtioh\] Bigness should vsrn definaboy in faiilies.

4
conjecture*: any NIP valued field $(K,\mathcal{O})$ is The conjecture*: any field $K$ is or a non-trivial henselian By generalizing the used for dp-minimal fields (for example Chapter 9 of [@myself]), we prove the henselianity conjecture in positive characteristic, and Shelah conjecture for positive characteristic dp-finite fields. This yields the positive-characteristic part of expected of fields. also make partial progress on dp-finite fields of characteristic zero. Let $(K,+,\cdot,\ldots)$ be a sufficiently saturated field, possibly with extra structure. Then either - has finite Morley rank, - There is an ${\operatorname{Aut}}(K/A)$-invariant valuation on $K$ some set Unfortunately, we can prove henselianity of this valuation ring in positive characteristic. Following the approach used for dp-minimal fields, there three main the proof: Construct type-definable of infinitesimals. 2. valuation ring from the infinitesimals. 3. discuss each of these steps, explaining the difficulties arise when from rank 1 to rank $n$. the infinitesimals ------------------------------- Mimicking the case of dp-minimal we would like to define the group $I_M$ of $M$-infinitesimals as $$\bigcap_{X \text{ ``big'' and \in K ~|~ X (X + \delta) is for notion “big.” In dp-minimal case, “big” was “infinite.” By analyzing the proof for dp-minimal one can enumerate a list of desiderata for bigness: 1. should an ideal. 2. should be preserved by transformations. \[definability-condition\] Bigness should vary families.
 conjecture*: any NIP valued fieLd $(K,\mathcal{o})$ is heNseLiaN.

-   THe *ShElah Conjecture*: any Nip fieLd $K$ is algebraically closEd, reaL cLOsed, FInIte, or Admits a NOn-TRIviAl HeNseLiAN vAluatIon.

by generAlizing the ArgUmEnts used for dP-MiNimal fieldS (foR example in ChAptEr 9 of [@mySeLf]), wE Prove The HenseLianitY ConjecTure in posItIVe charACteristIC, AnD the shelah conjecture fOR pOSitive characteRistic Dp-FInITE fiEldS. This yieldS tHe posITive-chaRAcTERIstIC part of the expEcted classiFIcaTion of Dp-FinITe fielDs.

We aLsO MakE partial proGresS on dp-finiTe fielDS of charACteristIc zero. let $(k,+,\cdOt,\ldOTs)$ Be A suFfICieNTlY saTUraTed dp-finItE fIeld, pOssiBLY WIth eXtrA strUcturE. Then either

-   $K$ hAs fInitE morLey raNk, or

-   THere Is An ${\opeRatornAme{AuT}}(K/a)$-invariant non-trIviaL valuatioN riNg On $K$ FoR some SMall seT $A$.

UNfoRtunateLy, we can ONly PrOVE HeNselianity of this vaLuATIoN ring in pOsitivE ChArACteristiC.

FOllOwinG THe appRoacH UsEd for dp-mInimal FIeLdS, there aRe Three mAiN stEps To the PRoof:

1.  constrUct a type-DefinABle group of infiNItesimals.

2.  ConsTRuCT A vALuatIon Ring from the InfiNItesImalS.

3.  prOve HEnselIanitY.

WE DiSCuss each of these stepS, eXplainIng thE difficulties That arise wHEN GeneraliZing FRoM Rank 1 to rank $n$.

ConStrucTing the infINitesimaLs
-------------------------------

MimIcking thE case of dp-MINimal fieLds, We wOulD liKE To Define the grouP $i_m$ of $M$-InFinitesImaLs as $$\bigCap_{x \teXt{ ``bIg'' aNd $m$-definablE}} \{\delta \in k ~|~ X
  \CaP (X + \DeLta) \Text{ iS ``Big''}\}$$ for soMe NotIoN of “Big.” In THe dp-miNimal Case, “BiG” wAS “inFinite.” BY AnALYzinG tHe ProoF foR dP-miniMal fIEldS, one can Enumerate A liST of dEsIdErata foR bigness:

1.  Non-biG sEts should fOrM an Ideal.

2.  BIGNess shouLd be preserved by affine trANsformaTioNs.

3.  \[defInabIlity-condItiOn\] BignEss SHould vAry defInablY iN faMILies.

4
 conjecture*: any NIP valu ed field $ (K,\m ath cal {O })$is h enselian.

- The*Shelah conjecture*: a ny NI Pf ield $K $ isalgebra i ca l l y c lo se d,re a lclose d,finite,  or admits  ano n-trivial he n se lian valua tio n.

By gener ali zing t he  ar g ument s u sed f or dp- m inimal  fields ( fo r  examp l e in Ch a p te r 9of [@myself]), we pr o ve the henseli anityco n je c t ure  in  positivech aract e ristic, an d t heS helah conject ure for pos i tiv e char ac ter i stic d p-fin it e  fi elds. Thisyiel ds the po sitive - charact e risticpart o f t heexpe c te dcla ss i fic a ti ono f d p-finite  f ie lds.
Wea l s o  mak e p arti al pr ogress on dp- fin itef iel ds of  char acte ri sticzero.Let $ (K ,+,\cdot,\ldots )$ b e a suffi cie nt lysa turat e d dp-f ini tefield,possibl y  wi th e x tr a structure. Thenei t h er 

-   $K $ hasf in it e  Morleyra nk,  or-    Th erei san ${\op erator n am e{ Aut}}(K /A )$-inv ar ian t n on-tr i vial  valua tion rin g on$ K$ for some sm a ll set $A$.
U nf o r tu n atel y,we can only  pro v e he nsel i an ity of th is va lu a ti o n ring in positivech aracte risti c.

Following  the appro a c h  used fo r dp - mi n imal fields, t hereare threem ain step s tothe proo f:

1.  C o n struct a  ty pe- def ina b l egroup of infi n i tesi ma ls.

2.   C onstruc t a  va lua tio nring from  the inf in it es im als .

3.  Prove h en sel ia nit y.

W e  discu ss ea ch o fth e sesteps,e xp l a inin gth e di ffi cu lties  tha t  ar ise whe n general izi n g fr om  r ank 1 t o rank $n$.
Co nstructing  t heinfini t e simals
- ----------------------- - ------
Mi micki ng t he case o f d p-mini mal fields , we w ouldli ket o  defi n e  t hegr oup $I_M$o f  $M $-inf in ites imals a s $$\bigcap_{X \te x t{``big'' and $ M$- defi n a bl e}} \{ \ del ta \in K  ~|~ X
  \cap ( X + \delta )\ te xt{ is ``b i g'' }\ }$$ for  some n otion of “big .” In the  dp-minim al  cas e ,  “b ig” was “i nfinite. ” By anal y zingt he  proo f f or dp- mi nim al fi elds,o necan e numera te  a lis t ofde siderata  for bigness:

1.  Non- big se ts sh oul d form an  id e al. 

2.  Big ness  should be  pr ese rvedbya ffine  tra n sf orm a tions .

3 .   \[defin a bi lit y - co ndition\] B i g n ess  shou ldv ary de fina bly in families.4
 conjecture*:_any NIP_valued field $(K,\mathcal{O})$ is_henselian.

- __The *Shelah_conjecture*:_any NIP field_$K$ is algebraically_closed, real closed, finite,_or admits a_non-trivial_henselian valuation.

By generalizing the arguments used for dp-minimal fields (for example in Chapter 9_of_[@myself]), we_prove_the_henselianity conjecture in positive characteristic,_and the Shelah conjecture for_positive characteristic_dp-finite fields. This yields the positive-characteristic part of_the_expected classification of_dp-finite fields.

We also make partial progress on dp-finite fields_of characteristic zero. Let $(K,+,\cdot,\ldots)$ be_a sufficiently saturated_dp-finite_field,_possibly with extra structure._Then either

-   $K$ has_finite Morley rank, or

-  _There is an ${\operatorname{Aut}}(K/A)$-invariant non-trivial valuation ring_on $K$ for some small set_$A$.

Unfortunately, we can only prove_henselianity of_this valuation ring in positive_characteristic.

Following the approach_used for_dp-minimal fields, there_are three main steps to the_proof:

1.  Construct_a type-definable group of infinitesimals.

2. _Construct_a valuation ring_from_the_infinitesimals.

3. _Prove henselianity.

We discuss_each_of these_steps,_explaining the difficulties that arise when_generalizing_from rank 1 to rank $n$.

Constructing the_infinitesimals
-------------------------------

Mimicking the case of_dp-minimal_fields, we would like_to define the group $I_M$_of $M$-infinitesimals as $$\bigcap_{X \text{ ``big''_and $M$-definable}}_\{\delta \in_K ~|~ X
  \cap (X + \delta) \text{ is ``big''}\}$$_for some notion of “big.” In_the dp-minimal case, “big”_was “infinite.”_By_analyzing the proof_for_dp-minimal fields,_one can enumerate a list of desiderata_for bigness:

1._ Non-big sets should form an_ideal.

2.  Bigness should_be_preserved by affine transformations.

3.  \[definability-condition\]_Bigness should vary definably in families.

4