Recherche avancée

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

Contact

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

Nous contacter