'Model completeness and henselianity'

23 May 2013
Franziska Jahnke

 A classical question in the model theory of fields is to find out which fields are model complete in the language of rings. It turns out that all well-known examples of model complete fields are quite rigid when it comes to henselianity. We discuss some first results which indicate that in residue characteristic zero, definable henselian valuations prevent model completeness.

  • Advanced Class Logic