page d'accueil   sommaire   disciplines  
Théorie des ensembles et catégories
Liste des unités de recherche et des chercheurs ayant déclarés cette discipline (Cref 1143).


unités de recherche


Logique mathématique [Mathematical logic] (LOGMATH)



chercheurs





disciplines et mots clés associés


Informatique mathématique Logique mathématique Théorie des ensembles et catégories

ensembles non-bien-fondés ensembles paradoxaux ensembles partiels modèles de termes modèles topologiques ramifiabilité système nf de quine théorie positive des ensembles