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) Ingo Blechschmidt - Augsburg,
Titre A modal logical multiverse for commutative algebra and combinatorics
Horaire15:15 à 16:15

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.

AdresseSophie Germain