Séminaires : Séminaire de Logique Lyon-Paris

Equipe(s) : lm,
Responsables :O. Finkel, A. Khélif, S. Rideau, T. Tsankov, A. Vignati
Email des responsables :
Salle : Zoom ID: 824 8220 9628; s'inscrire à la liste ou contacter silvain.rideau@imj-prg.fr pour le mot de passe.
Adresse :
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Jacques Van de Wiele - ancien membre de l'Equipe de Logique Mathématique,
Titre Valuations
Date05/12/2016
Horaire15:10 à 16:10
Diffusion
RésumeThème principal : (cours elementaire sur les) anneaux de (pre)valuation p-adique, theorie des modeles, arithmetique, approche finitaire

thèmes abordés : logique intuitionniste, algebre commutative, constructive modules, (co)homologies, categories abeliennes, (logique lineaire) topos de Faltings

Biblio principale :
Grothendieck [01.8GRO14a]
Integration Motivique (Loeser, Nicaise, Sebag) [18MOT1-11a] [18MOT2-11a]
Marc Hindry :Arithmetique [30HIN08a]
Ahmed Abbes, Michel Gros, Takeshi Tsuji :The p-adique Simpson Correspondence [18ABB16a]
Ihsen Yengui : Constructive Commutative Algebra [16.5YEN15a]
SalleZoom ID: 824 8220 9628; s'inscrire à la liste ou contacter silvain.rideau@imj-prg.fr pour le mot de passe.
Adresse
© IMJ-PRG