Séminaires : Séminaire Général de Logique

Equipe(s) : lm,
Responsables :S. Anscombe, A. Khélif, A. Vignati
Email des responsables : sylvy.anscombe@imj-prg.fr, vignati@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion

Orateur(s) Giorgio Venturi - Univesidade Estadual de Campinas, Brasil,
Titre Séminaire annulé
Horaire15:15 à 16:15
RésumeIn this talk we present a new approach to Goedel's program for a step by step extension of set theory. This new approach is based on Robinson's model-theoretic notion of model companionship. We show that set theory has (absolute) model companions and that these are the H_{\kappa^+}: the collections of sets of hereditarily cardinality less than \kappa^+, for \kappa a regular cardinal. We then present the solution to CH that this approach provides. Finally we justify this approach as a realization of Hilbert's idea of completeness for formal theories.
AdresseSophie Germain