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) Juan Santiago Suárez - IMJ-PRG,
Titre Infinitary logics as a link between Boolean valued models and (some) inner models of set theory
Horaire15:15 à 16:15

Infinitary logics arose in the 60s as a natural generalization of first order logic. With the role of compactness played by consistency properties, L_omega_1_omega rapidly became a prominent example. I will argue that Boolean valued models are a natural semantics for arbitrary logics L_kappa_lambda. These results will allow us to present forcing as the set theoretic perspective of consistency properties, giving a more gentle introduction to the technique. Finally, some ideas and results relating inner models of set theory, infinitary logics and forcing will be presented. This is joint work with M. Viale.

AdresseSophie Germain