ZFC MODÈLES DE

Ce sujet est traité dans les articles suivants :

1.  CONTINU HYPOTHÈSE DU

Écrit par : Patrick DEHORNOY

Dans le chapitre "Modèles et forcing"  : … retenu par Woodin. Pour ce faire, on partira des notions de modèle de ZFC et de forcing. *Comme les axiomes de ZFC ne portent que sur la relation d'appartenance, on peut considérer des structures abstraites (M, E), appelées modèles de ZFC, où E est une relation binaire sur M satisfaisant aux axiomes de… Lire la suite

2.  ENSEMBLES (THÉORIE DES) - Théorie axiomatique

Écrit par : Jacques STERN

Dans le chapitre "La négation de l'axiome du choix et de l'hypothèse du continu"  : … que tout ensemble est constructible et qui est vrai dans tout modèle de la forme L^M. *On part d'un modèle M de ZFC qui satisfait ∀vL(v) et, dans M, on considère l'ensemble des applications de domaine fini inclus dans l'ordinal ω à valeurs 0 ou 1 qu'on munit de l'ordre inverse du prolongement et qu'on note C. Soit G… Lire la suite