Réalisabilité classique : nouveaux outils et applications
La réalisabilité classique de Jean-Louis Krivine associe à chaque modèle de calcul et chaque modèle de la théorie des ensembles un nouveau modèle de la théorie des ensembles, appelé modèle de réalisabilité, d'une façon similaire au forcing. Chaque modèle de réalisabilité est muni d’une algèbre...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | fr |
| Published: |
2019
|
| Subjects: | |
| Online Access: | http://www.theses.fr/2019AIXM0099/document |