BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//wp-events-plugin.com//7.2.3.1//EN
TZID:Europe/Paris
X-WR-TIMEZONE:Europe/Paris
BEGIN:VEVENT
UID:7410@i2m.univ-amu.fr
DTSTART;TZID=Europe/Paris:20180118T110000
DTEND;TZID=Europe/Paris:20180118T123000
DTSTAMP:20241120T203944Z
URL:https://www.i2m.univ-amu.fr/evenements/preservation-de-proprietes-du-m
 odele-de-depart-en-realisabilite-classique/
SUMMARY:Hadrien Batmalle (IRIF\, Université de Paris): Préservation de pr
 opriétés du modèle de départ en réalisabilité classique
DESCRIPTION:Hadrien Batmalle: La réalisabilité classique permet d'interpr
 éter des théories mathématiques classiques\, comme la théorie des ense
 mbles ZF\, dans divers modèles de calcul (lambda-calcul avec continuation
 s\, domaines…axiomatisés au moyen d'algèbres de réalisabilité). Elle
  produit ainsi des modèles de ces théories\, et se révèle être une g
 énéralisation du forcing de Cohen. Jusqu'ici\, la réalisabilité classi
 que a seulement été étudiée à partir d'un modèle de départ "raisonn
 able"\, supposé au moins valider AC\, voire même défini comme l'univers
  constructible.\nDans cet exposé\, on étudiera des modèles de réalisab
 ilité classique issus d'algèbres de réalisabilité usuelles\, mais cons
 truits sur des modèles de départ "non-triviaux"\, et on utilisera un nou
 veau résultat de Krivine pour exporter certaines propriétés du modèle 
 de départ au modèle de réalisabilité.\n\nhttp://www.irif.fr/informatio
 ns/annuaire
CATEGORIES:Séminaire,Logique et Interactions
END:VEVENT
BEGIN:VTIMEZONE
TZID:Europe/Paris
X-LIC-LOCATION:Europe/Paris
BEGIN:STANDARD
DTSTART:20171029T020000
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
END:STANDARD
END:VTIMEZONE
END:VCALENDAR