Théorie des ensembles et théorie des modèles
MATH 4207: Set theory and model theory
This course consists of two equal parts: an introduction to set theory (Zermelo-Fraenkel axioms, ordinals and ordinal arithmetics, axiom of choice and equivalents, cardinals and cofinality) and an introduction to model theory (languages and structures, equivalence and elementary embeddings, ultraproducts and compactness, types and elimination of quantifiers, aleph_O-categoricity and type omission theorem).
contacts
Responsable du MA1 :
François Brunault
ENS, site Monod, bâtiment GN1 (l’arche), 4e étage
Gestionnaires de scolarité
École normale supérieure
Sophie Bonche
Site Monod, bâtiment LE (accolé au GN1, côté nord de l’allée d’Italie)
bureau 536, allée Allan C. Wilson
04.72.72.85.53
Université Claude Bernard
Aline Ghedira et Ségolène Serre
scolarite.mathematiques@univ-lyon1.fr
ENS de Lyon
15 parvis René Descartes - BP 7000
69342 Lyon Cedex 07 - FRANCE
Tél. : Site René Descartes (siège) : +33 (0) 4 37 37 60 00
Site Jacques Monod : +33 (0) 4 72 72 80 00