Date:
Wed, 15/04/202611:00-13:00
Zoom link: https://huji.zoom.us/j/87495665817?pwd=bVMImEo94D3YU3yYbEG2wAcj67M9J2.1
Meeting ID: 874 9566 5817
Passcode: 906877
Title: Existential NIP Formulas in some Valued Fields of Positive Characteristic
Abstract: In this talk we will introduce the study of fragments of NIP formulas in some theories of valued fields. In particular, building on a celebrated theorem of Johnson that states that any NIP valued field of positive characteristic is necessarily henselian, we show that the same is true when restricting the family of NIP formulas to the existential fragment. This motivates the study of the so-called E-NIP theories, for which we obtain an Ax–Kochen–Ershov-like characterisation in the equal characteristic case, conditional to a multi-variable generalization of a well-known statement about indiscernible sequences in ac-valued fields.
Meeting ID: 874 9566 5817
Passcode: 906877
Title: Existential NIP Formulas in some Valued Fields of Positive Characteristic
Abstract: In this talk we will introduce the study of fragments of NIP formulas in some theories of valued fields. In particular, building on a celebrated theorem of Johnson that states that any NIP valued field of positive characteristic is necessarily henselian, we show that the same is true when restricting the family of NIP formulas to the existential fragment. This motivates the study of the so-called E-NIP theories, for which we obtain an Ax–Kochen–Ershov-like characterisation in the equal characteristic case, conditional to a multi-variable generalization of a well-known statement about indiscernible sequences in ac-valued fields.