Le moteur de recherche
des thèses françaises
Luca Reggio
IdRefMots clés
FR |
EN
Dualité de Stone
Espaces compacts
Théorie des modèles
Logique mathématique
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
Semi-anneaux (mathématiques)
Théorème de préservation
Topologie
Logique au Premier Ordre
Espace Noethérien
Localité
Logique informatique
Catégories (mathématiques)