Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Philip Dittmann - TU Dresden,
Titre Around existential theories of fields
Date20/02/2023
Horaire15:15 à 16:15
Diffusion
Résume

I will discuss some results on existential theories of fields, with a focus on decidability questions. This is motivated partly by Hilbert's Tenth Problem (on the solvability of diophantine equations) and partly by general model-theoretic concerns. Questions covered will include the (non-)transfer of existential decidability up and down finite field extensions, and consequences for complete discretely valued fields in mixed characteristic.

Salle1013
AdresseSophie Germain
© IMJ-PRG