Sam Van Gool
IdRefMots clés
FR |
EN
Dualité de Stone
Théorie des langages
Algèbre profinie
Monade de codensité
Interpolation uniforme
Théorème de l’application ouverte
Pretopos
Quantificateurs (logique mathématique)
Logique intuitionniste
Espaces compacts
Semi-anneaux (mathématiques)
Topologie générale
Logique sur les mots
Complexité descriptive
Algèbre de Boole
Topologie ensembliste
Logique informatique
Boole, Algèbre de