On the decidability of ℚªᵇ_p | Vidéo | Carmin.tv

00:00:00 / 00:00:00

On the decidability of ℚªᵇ_p

By Jochen Koenigsmann

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

I will propose an effective axiomatization for ℚªᵇ_p, the maximal abelian extension of the p-adics, and present a strategy for proving quantifier elimination (in a variant of the Macintyre language) for the theory thus axiomatized. This should eventually give the decidability of ℚªᵇ_p and all its finite extensions.

Information about the video

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

Domain(s)

MSC codes

11U05 Decidability

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