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

Equipe(s) : lm,
Responsables :S. Anscombe, V. Bagayoko, D. Basak, H. Fournier
Email des responsables : sylvy.anscombe@imj-prg.fr, bagayoko@imj-prg.fr, basak@imj-prg.fr, fournier@imj-prg.fr
Salle : 1013
Adresse :Sophie Germain
Description

Archives


Abonnement à la liste de diffusion


Orateur(s) Calliope Ryan-Smith - University of Leeds,
Titre The Hartogs–Lindenbaum Spectrum
Date30/09/2024
Horaire15:45 à 16:45
Diffusion
Résume

In ZF without the Axiom of Choice, our normal measurement of the "size" of a set, the least ordinal in bijection with that set, breaks down. We will explore two rough alternatives to this measurement: the Hartogs and Lindenbaum numbers.

Salle1013
AdresseSophie Germain
© IMJ-PRG