Ce sujet est traité dans les articles suivants :
Écrit par : Patrick DEHORNOY
Dans le chapitre "Invariance par forcing" : … du continu n'est pas un énoncé d'arithmétique, et elle est sensible à l'action du forcing. *Le critère proposé par Woodin pour orienter la recherche d'axiomes nouveaux est de tenter de retrouver pour des fragments plus vastes de l'univers des ensembles la situation d'invariance par forcing et de complétude empirique fournie par ZFC pour l'… Lire la suiteÉcrit par : Jacques STERN
Dans le chapitre "Le problème des cardinaux singuliers" : … a été établie par Martin (1978) à partir d'hypothèses très fortes de grands cardinaux ; *enfin, Kechris et Woodin (1982) ont annoncé avoir établi un résultat d'équivalence entre la détermination et des propriétés de type grands cardinaux mais contredisant l'axiome du choix. W. Hugh Woodin a énoncé en 1999 la conjecture « Toute théorie… Lire la suite
Accueil - Contact - À propos
Consulter les articles d'Encyclopædia Universalis :
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Consulter les articles d'Encyclopædia Britannica.
© 2012, Encyclopædia Universalis France S.A. Tous droits de propriété industrielle et intellectuelle réservés.