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

Equipe(s) : lm,
Responsables :O. Finkel, T. Ibarlucía, A. Khélif, S. Rideau, C. Sureson
Email des responsables :
Salle : salle 2015
Adresse :Sophie Germain
Description

ArchivesRetour ligne automatique
Abonnement à la liste de diffusion


Orateur(s) Anton Freund - TU Darmstadt,
Titre Collapsing large ordinals
Date08/04/2019
Horaire15:10 à 16:10
Résume This talk discusses the power of "almost" order preserving collapsing functions, which map large ordinals (uncountable resp. non-recursive) to smaller ones (countable resp. recursive). More precisely, I will consider collapsing functions in the context of dilators (J.-Y. Girard): Let $D$ be a dilator, i.e. a particularly uniform function from ordinals to ordinals. It can happen that we have $D(\alpha)>\alpha$ for every ordinal $\alpha$, so that $D$ has no fixed-point. The best we can expect is a collapsing function $D(\alpha)\rightarrow\alpha$ that is almost order preserving, in a sense that will be made precise in the talk. If such a function exists, then $\alpha$ is called a Bachmann-Howard fixed-point of $D$. I will show that the following holds over a weak base theory: The statement that "every dilator has a Bachmann-Howard fixed-point" is equivalent to the existence of admissible sets, and hence to $\Pi^1_1$-comprehension (full details can be found in arXiv:1809.06759).
Sallesalle 2015
AdresseSophie Germain
© IMJ-PRG