Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Joan Bagaria

Mots clés

FR |

EN

Modèles à valeurs booléennes

Forcing itéré

Préservation des sous-Ensembles stationnaires

Forcing (mathématiques)

Logique mathématique

Philosophie des mathématiques

Théorie des ensembles

Épistémologie

Philosophie de Gödel

Hypothèse du continu