Quelques propriétés des modèles de réalisabilité de ZF
Résumé
La théorie de la réalisabilité classique permet de construire de nouveaux modèles de ZF. On montre notamment que les constructibles d'un tel modèle forment une extension élémentaire des constructibles du modèle de base.
Origine : Fichiers produits par l'(les) auteur(s)