7 jours d'essai offerts
Cet ouvrage et des milliers d'autres sont disponibles en abonnement pour 8,99€/mois
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