En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents Feng, Qi 2 résultats

Filtrer
Sélectionner : Tous / Aucun
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y

Forcing, iterated ultrapowers, and Turing degrees.
Lecture notes from the 2010 and 2011 Asian Initiative for Infinity (AII) logic summer school
Singapore # 2010 and 2011 Chong, Chitat ; Feng, Qi ; Slaman, Theodore A. ; Woodin, W. Hugh ; Yang, Yue | World Scientific 2016

Congrès

- ix; 174 p.
Cote : 00039648
théorie des modèles # non-résolubilité # logique mathématique # forcing

03-06 ; 03E40 ; 03C20 ; 03D28 ; 00B25

Localisation : Colloque 1er étage (SING)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Proceedings of the 11th Asian logic conference:
in honor of professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore# 22-27 June 2009 Arai, Toshiyasu ; Feng, Qi ; Kim, Byunghan ; Wu, Guohua ; Yang, Yue | World Scientific 2012

Congrès

- x-181 p.
Cote : 00037474
logique mathématique # théorie des modèles # informatique

03-06 ; 00B25 ; 00B30 ; 03B45 ; 03Cxx ; 03Dxx

Localisation : Colloque 1er étage (SING)

Sélection

Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.

4

gerer mes paniers

Signaler une erreur

Listes : nb d'elts/page

Sélectionner : Tous / Aucun

Filtrer

Auteurs

J Plus

Codes MSC

J Plus

Langue