OMÉGA-CONJECTURE

Ce sujet est traité dans les articles suivants :

1.  CONTINU HYPOTHÈSE DU

Écrit par : Patrick DEHORNOY

Dans le chapitre "La Ω-logique de Woodin"  : … extension par forcing de (V, ∈). 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. Il montre en… Lire la suite