OMÉGA-LOGIQUE

CONTINU HYPOTHÈSE DU

  • Écrit par 
  • Patrick DEHORNOY
  •  • 2 247 mots

Dans le chapitre « La Ω-logique de Woodin »  : […] Abordée depuis 1980, la recherche de solutions pour le fragment H 2 est beaucoup plus ardue. Plusieurs candidats au titre de solution ont été isolés à partir des axiomes de forcing , qui sont des extensions du théorème de Baire (un sous-ensemble de ℝ est dit dense si son complémentaire ne contient aucun intervalle ouvert ; le théorème de Baire affirme q […] Lire la suite☛ http://www.universalis.fr/encyclopedie/hypothese-du-continu/#i_36393