Cet ouvrage et des milliers d'autres font partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour les lire en ligne
En savoir plus

Partagez cette publication

Audel`aduforcing:lanotionde verit´eessentielleenthe´oriedes ´ ensembles
Patrick Dehornoy, 2007
Kevin
15.02.2010
Intro
duction
Motivation Leprobl`emeducontinuapre`slinde´cidabilit´e
Depuis 1970 Axiomes de grands cardinaux
Lespreuvesdind´ecidabilit´edeHCdansZFC G¨odel1938:ZFC;HC Cohen 1963 : ZFC;HC
Woodin 1999-2002 ! ! Notiondepropri´et´eessentiellementvraie