Résume | Thè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] |