Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Couvre la classification des variétés p-adiques compactes en utilisant la formule C.o.V et explore les variétés algébriques lisses et le lemme de Hensel.
