Contracting endomorphisms of valued fields | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Contracting endomorphisms of valued fields

Appears in 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.

Information about the video

Date of recording 01/06/2023
Date of publication 23/06/2023
Institution CIRM
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Guillaume Hennenfent
Format MP4

Citation data

DOI 10.24350/CIRM.V.20051303
Cite this video Dor, Yuval (01/06/2023). Contracting endomorphisms of valued fields. CIRM. Audiovisual resource. DOI: 10.24350/CIRM.V.20051303
URL https://dx.doi.org/10.24350/CIRM.V.20051303

Domain(s)

Bibliography

DOR, Y. and HALEVI, Y., “Contracting Endomorphisms of Valued Fields”, arXiv e-prints, 2023. doi:10.48550/arXiv.2305.18963 - https://doi.org/10.48550/arXiv.2305.18963

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2025

Give feedback