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

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

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Boban Velickovic - IMJ-PRG,
Titre Nice Infinitary Logics
Date31/01/2022
Horaire15:15 à 16:15
Diffusion
RésumeLindstrom’s theorem characterizes first order logic as the maximal logic satisfying the Compactness Theorem and the Downward Lowenheim Skolem Theorem. It has been one of the main tasks of Infinitary Model Theory to find stronger logics with similar characterizations with the hope that they would have useful applications. Despite intensive efforts no such logic was found until Shelah introduced his logic L^1_\kappa. Unfortunately, by that time most of the researchers working on the problem have left the subject. We try to revive the subject by introducing a class of logics which give Shelah’s logic in the limit and test their expressive power. We also give an alternative characterization of Shelah’s logic in terms of the Lowenheim-Skolem-Union property. This is joint work with J. Vaananen
Salle1013
AdresseSophie Germain
© IMJ-PRG