De Yuval Dor
Apparaît dans la collection : Model theory of valued fields / Théorie des modèles des corps valués
We propose a model complete theory of valued fields equipped with an $\omega$ increasing endomorphism which is not onto. The key to the quantifier elimination statement is a study of generic types and a systematic use of descent. As a consequence, we derive the decidability of the elementary theory of the Frobenius action on separably algebraically closed valued fields, generalizing results of Chatzidakis and Hrushovski. This is joint work with Yatir Halevi.
De Vincent Neiger
De Vincent Neiger
De Albert Schwarz
De Juan Camilo Arosemena Serrato
De Francesca Arici
De Amine Marrakchi
