Le moteur de recherche
des thèses françaises
Matteo Viale
IdRefMots clés
FR |
EN
Forcing (mathématiques)
Logique
Groupes libres
Groupes hyperboliques sans torsion
Clôture algébrique
Clôture définissable
Actions de groupes sur des graphes
Groupes hyperboliques
Idéal des points approchables
Propriété d’approximation
Axiome de forcing
Guessing model
Modèle Magidor
Principe de maximalité
Cardinal supercompact
Modèle virtuel
Itération (mathématiques)
Nombres cardinaux
Forçage
Modèles à valeurs booléennes