CIRM - Videos & books Library - Transfer of decidability for existential theories of (valued) fields

Multi angle

Auteurs : Anscombe, Sylvy (Auteur de la Conférence)
CIRM (Editeur )

00:00

Résumé : In previous work with Fehm we found that the existential theory of an equicharacteristic henselian valued field is axiomatised using the existential theory of its residue field. From this we deduced a transfer of decidability: for a complete theory

T

of residue fields, the existential consequences of

T

are decidable if and only if the existential consequences of the theory

H (T)

are decidable, where

H (T)

is 'equicharacteristic, henselian, and residue field models

T^{'}

. In more recent work with Dittmann and Fehm we considered a similar problem in which

H (T)

is expanded to a theory that distinguishes a uniformizer, using an additional constant symbol. In this case Denef and Schoutens gave a transfer of existential decidability conditional on Resolution of Singularities. We introduce a consequence of Resolution and prove that it implies a similar transfer of existential decidability.In this talk I'll explain these results and describe ongoing work with Fehm in which we broaden the above setting to obtain versions of these transfer results that allow incomplete theories

T

. Consequently we find several existential theories Turing equivalent to the existential theory of

Q

, including the existential theory of large fields.

Keywords : henselian; existential theory; decidable

Codes MSC :
03C60 - Model-theoretic algebra
11D88 -

p

-adic and power series fields
12L05 - Decidability, See also {03B25}

Informations sur la Vidéo

Réalisateur :

Hennenfent, Guillaume

Langue :

Date de publication :

Date de captation :

Sous collection :

arXiv category :

Domaine :

Format :

Durée :

Audience :

Download :

https://videos.cirm-math.fr/2023-06-01_Anscombe.mp4

Informations sur la Rencontre

Nom de la rencontre : Model theory of valued fields / Théorie des modèles des corps valués
Organisateurs de la rencontre : Chatzidakis, Zoé ; Jahnke, Franziska ; Rideau-Kikuchi, Silvain
Dates : 29/05/2023 - 02/06/2023
Année de la rencontre : 2023
URL Congrès : https://conferences.cirm-math.fr/2761.html

Données de citation

DOI : 10.24350/CIRM.V.20050203
Citer cette vidéo: Anscombe, Sylvy (2023). Transfer of decidability for existential theories of (valued) fields. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20050203
URI : http://dx.doi.org/10.24350/CIRM.V.20050203

Voir aussi

[Multi angle] Beautiful pairs revisited / Auteur de la Conférence Ye, Jinhe.
[Multi angle] An Imaginary Ax-Kochen/Ershov principle: the equicharacteristic zero case / Auteur de la Conférence Vicaria, Mariana.
[Multi angle] Existential closedness of $Q^{a l g}$ as a globally valued field / Auteur de la Conférence Szachniewicz, Michal.
[Multi angle] Interpretable, definably semisimple groups in various valued fields / Auteur de la Conférence Peterzil, Ya'acov.
[Multi angle] The existential closedness problem for analytic solutions of difference equations / Auteur de la Conférence Padgett, Adele.
[Multi angle] Multi topological fields and NTP2 / Auteur de la Conférence Montenegro Guzman, Samaria.
[Multi angle] A Hasse principle over Berkovich analytic curves / Auteur de la Conférence Mehmeti, Vlerë.
[Multi angle] Definable convex and henselian valuations on ordered fields / Auteur de la Conférence Krapp, Lothar Sebastian.
[Multi angle] Beyond the Fontaine-Wintenberger theorem / Auteur de la Conférence Kartas, Konstantinos.
[Multi angle] Around NIP Noetherian domains / Auteur de la Conférence Johnson, Will.
[Multi angle] An invitation to globally valued fields / Auteur de la Conférence Hrushovski, Ehud.
[Multi angle] Lang-Weil type bounds in finite difference fields / Auteur de la Conférence Hils, Martin.
[Multi angle] Residue field domination / Auteur de la Conférence Haskell, Deirdre.
[Multi angle] Motivic integration with pseudo-finite residue field and fundamental lemma / Auteur de la Conférence Forey, Arthur.
[Multi angle] Tropical functions on skeletons / Auteur de la Conférence Ducros, Antoine.
[Multi angle] Contracting endomorphisms of valued fields / Auteur de la Conférence Dor, Yuval.
[Multi angle] Ax-Kochen-Ershov principles for finitely ramified henselian fields / Auteur de la Conférence Dittmann, Philip.
[Multi angle] Group construction in $C$ -minimal structures / Auteur de la Conférence Delon, Françoise.
[Multi angle] Homology groups in algebraically closed valued fields / Auteur de la Conférence Cubides Kovacsics, Pablo.
[Multi angle] Existential uniform p-adic integration and descent for integrability and largest poles / Auteur de la Conférence Cluckers, Raf.
[Multi angle] Polynomials that vanish on many sets of codimension 2 / Auteur de la Conférence Ben Yaacov, Itaï.
[Multi angle] The model theory of Hardy fields and linear differential equations / Auteur de la Conférence Aschenbrenner, Matthias.

Bibliographie

Anscombe.jpg

Sélection Signaler une erreur

TUTELLES

PARTENAIRES

Destination de la recherche

Raccourcis

Voir aussi