On the axiomatisation of C_p with roots of unity. | Vidéo | Carmin.tv

00:00:00 / 00:00:00

On the axiomatisation of C_p with roots of unity.

By Romain Rioux

Appears in collection : 2018 - T1 - WS2 - Model theory and valued fields

In the middle of the 90’s Tate and Voloch have proved a result concerning the sums of roots of unity with fixed coefficients. By using an adapted decomposition to understand the p-adic valuation of these sums we will see how to improve their result and using it to axiomatize the valued structure Cp with a predicate for the group of roots of unity.

Information about the video

Date of recording 07/03/2018
Date of publication 26/03/2018
Institution IHP
Licence CC BY-NC-ND
Language English
Format MP4

Domain(s)

Logic

MSC codes

13F35 Witt vectors and related rings

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