Woodin prédit maintenant qu`il devrait y avoir un moyen de construire un modèle intérieur pour presque tous les grands cardinaux connus, qu`il appelle l`Ultimate L et qui aurait des propriétés similaires que l`univers constructible de Gödel`s. En particulier, l`hypothèse du continuum serait vraie dans cet univers. [citation nécessaire] Cris Woodin est un spécialiste dans les domaines des mathématiques et des troubles d`apprentissage [2]. Diplômé du Middlebury College et de l`école supérieure d`éducation de Harvard, il a beaucoup enseigné à Landmark School, où il détient la Chaire d`Ammerman en mathématiques. Ses œuvres publiées comprennent la multiplication et la Division des faits pour l`ensemble de la partie, l`apprenant visuel © 2013 et la méthode Landmark de l`enseignement arithmétique © 1995, ainsi que plusieurs Articles de revues. Il a siégé au Comité des cadres de curriculum de mathématiques 2011 du département de l`éducation du Massachusetts et enseigne actuellement des cours de niveau supérieur aux éducateurs. Chris a été l`éducateur Samuel Kirk de l`année du Massachusetts Learning handicaps of America (LDA) de 1997. Il présente à de nombreuses conférences internationales et nationales et dirige des ateliers de mathématiques pour le public à travers le pays. Chris aime pêcher, faire du lobbying, sculpter du bois et servir comme chef scout et entraîneur de soccer. La conjecture Ω de Woodin affirme que s`il y a une classe appropriée de cardinaux Woodin (pour des raisons techniques, la plupart des résultats dans la théorie sont plus facilement énoncés sous cette hypothèse), alors Ω-Logic satisfait un analogue du théorème de complétude. De cette conjecture, on peut montrer que, s`il y a un axiome unique qui est complet sur H א 2 {displaystyle H_ {aleph _ {2}}} (dans Ω-Logic), il doit impliquer que le continuum n`est pas א 1 {displaystyle aleph _ {1}}.
Woodin a également isolé un axiome spécifique, une variante du maximum de Martin, qui stipule que toute la phrase Ω-cohérente Π 2 {displaystyle pi _ {2}} (over H א 2 {displaystyle H_ {aleph _ {2}}}) est vraie; Cet axiome implique que le continuum est א 2 {displaystyle aleph _ {2}}. Le nouveau livre d`aisance de multiplication de Chris Woodin est maintenant disponible en ligne! Le livre met en pratique des stratégies pratiques, développées à Landmark School, pour les enseignants à utiliser dans la salle de classe. La théorie implique une définition de Ω-validité: une instruction est une conséquence Ω-valide d`une théorie de jeu T si elle tient dans chaque modèle de T ayant la forme V α B {displaystyle V_ {alpha} ^ {mathbb {B}}} pour certains ordinaux α {displaystyle alpha} et certains forçant la notion B {di splaystyle mathbb {B}}.