Event Detail

 Fri Feb 10, 2017 60 Evans Hall, 4:10–5:10 PM Logic Colloquium Clifton Ealy (Western Illinois University) Residue field domination in real closed valued fields

In an algebraically closed valued field, as shown by Haskell, Hrushovski, and Macpherson, the residue field and the value group control the rest of the structure: \$tp(L/Ck(L)\Gamma(L)\$ will have a unique extension to \$M\supseteq C\$, as long as the residue field and value group of \$M\$ are independent from those of \$L\$. (Here \$k(L)\$ and \$\Gamma(L)\$ denote the residue field and value group, respectively, of \$L\$, and \$C\$ is a maximal field.)

This behaviour is striking, because it is what typically occurs in a stable structure (where types over algebraically closed sets have unique extensions to independent sets) but valued fields are far from stable, due to the order on the value group.

Real closed valued fields are even further from stable since the main sort is ordered. One might expect the analogous theorem about real closed valued fields to be that \$tp(L/M)\$ is implied by \$tp(L/Ck(L)\Gamma(L))\$ together with the order type of \$L\$ over \$M\$. In fact we show that the order type is unnecessary, that just as in the algebraically closed case, one has that \$tp(L/M)\$ is implied by \$tp(L/k(L)\Gamma(L))\$. This is joint work with Haskell and Marikova.

No knowledge of value fields will be assumed.