Speaker
Mr
Amador Martin-Pizarro
(Université Fribourg)
Description
Dans ce cours de nature introductoire, nous allons voir les bases de la théorie des modèles, entre autres, les notions de langages de premier ordre, formules et structures. Le but du cours est de donner une démonstration du théorème du compacité à l'aide des ultrafiltres pour conclure avec des applications de ce principe à la Lefschetz.
Le cours est orienté à un public sans connaissances au préalable en logique mathématique.
