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

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


Abonnement à la liste de diffusion

Orateur(s) Obrad Kasum - IMJ-PRG,
Titre Iteration Strategies
Horaire15:15 à 16:15
Large cardinals have minimal, canonical models. (This is a fact up to a point and a conjecture beyond that point.) These models are minimal in the sense that if a theory is consistency-wise stronger than a large cardinal, then (empirically) that theory proves the existence of the minimal model for that large cardinal. However, it is somewhat more involved to say in which way these models are canonical. Their canonicity is witnessed by so-called iteration strategies. In my talk, I will try to explain what an iteration strategy is, how it witnesses the canonicity of a minimal model, and (if time permits) what is the modern approach to the study of these central objects.
AdresseSophie Germain