OMÉGA-CONJECTURE

Article

• CONTINU HYPOTHÈSE DU

  • Écrit par Patrick DEHORNOY
  • 2 220 mots
  La Ω-logique est cohérente : tout énoncé Ω-prouvable est Ω-valide. En revanche, sa complétude, c'est-à-dire la question de savoir si tout énoncé Ω-valide est Ω-prouvable, reste pour le moment une conjecture, simplement appelée la Ω-conjecture. Woodin donne plusieurs arguments étayant la Ω-conjecture....