Quelques propriétés des modèles de réalisabilité de ZF
Overview & Synopsis
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.
Indexed from repository: HAL Open Science
(
hal.science)
Keyboard Shortcuts:
← / → for pages • + / - for zoom • 0 to fit width
Powered by Mozilla PDF.js v3.11
Document Information
| Document Title | Quelques propriétés des modèles de réalisabilité de ZF |
|---|---|
| Author / Organization | Jean-Louis Krivine |
| Subject & Discipline | Multidisciplinary Academic Open Research |
| Categories | Science & Mathematics |
| Publication Year | 2014 |
| License / Rights | Open Access / Creative Commons |
| Resource Verification | Listed PDF (Verification Pending) |
| Original Host Website |
HAL Open Science
(hal.science)
|
| File Format | application/pdf (Portable Document Format) |
| Language | EN |
| Catalog ID | DOC-253808 |
| Original Source Link | Visit Source Page on hal.science » |