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

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Jonathan Schilhan - KGRC Wien,
Titre Intermediate models and Kinna-Wagner degrees
Date16/12/2024
Horaire15:45 à 16:45
Diffusion
Résume
The discovery of forcing in the 60's revolutionized set theory by providing a flexible and controlled way to extend models of Zermelo-Fraenkel (ZF). While not every extension is literally obtained by forcing, there is a strong sense in which it pivotal in understanding the structure of models as a whole. One remarkable result for instance is that, in the sense of forcing, every model of ZFC is close to its inner model of hereditarily ordinal definable sets (HOD). Another one is the Intermediate Model Theorem which states that any model of ZFC, intermediate to a "ground model" and one of its forcing extensions, is itself a forcing extension of such ground. This completely fails if we only assume ZF instead (i.e. set theory without the Axiom of Choice). Can something still be said? It turns out that the answer is related to a particular class of choice principles, of which its easiest form was introduced by Kinna and Wagner in the 50's, which gives a full picture of the situation. The goal of our talk is to present these results, by giving all necessary details to understand what they mean to a general logic audience. This is joint work with A. Karagila.
Salle1013
AdresseSophie Germain
© IMJ-PRG