Le moteur de recherche
des thèses françaises
Sandra Müller
IdRefMots clés
FR |
EN
Logique mathématique
Logique
Forçage
Modèles à valeurs booléennes
Compacité
Forcing itéré
Préservation des sous-Ensembles stationnaires
Forcing (mathématiques)
Ensembles universellement Baire
Détermination
HOD
Souris du type hod
Modèle Chang-plus
Préservation des ensembles stationnaires
Jeu d'existence de modèle
Pmax
Absoluité générique
Maximalité générique
Théorie des ensembles