Pré-Publication, Document De Travail Année : 2014

Quelques propriétés des modèles de réalisabilité de ZF

Jean-Louis Krivine
  • Fonction : Auteur
  • PersonId : 931569

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.

Fichier principal
Vignette du fichier
Fondation-HAL.pdf (191.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-00940254 , version 1 (31-01-2014)
hal-00940254 , version 2 (30-05-2014)

Licence

Identifiants

  • HAL Id : hal-00940254 , version 2

Citer

Jean-Louis Krivine. Quelques propriétés des modèles de réalisabilité de ZF. 2014. ⟨hal-00940254v2⟩
257 Consultations
254 Téléchargements

Partager

  • More