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

Equipe(s) : lm,
Responsables :S. Anscombe, 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) Ingo Blechschmidt - Augsburg,
Titre A modal logical multiverse for commutative algebra and combinatorics
Date07/11/2022
Horaire15:15 à 16:15
Diffusion
Résume

In the spirit of the set-theoretic multiverse philosophy put forward by Joel David Hamkins, we explore a related modal multiverse populated by Kripke models and more general worlds. In this multiverse—as the talk will explain—the law of excluded middle can be switched on and off like a light bulb and countability is a button (for every set X of every world, there is a larger world containing a surjection ℕ → X). Our interest in this multiverse is because of concrete applications in commutative algebra and combinatorics, including the endeavor of extracting algorithms from proofs utilizing transfinite techniques. The talk will be framed by several examples of this kind.

Salle1013
AdresseSophie Germain
© IMJ-PRG