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 results

Filter
Select: All / None
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.
Call n° : 00039648
théorie des modèles # non-résolubilité # logique mathématique # forcing

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

Location : Colloque 1er étage (SING)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
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.
Call n° : 00037474
logique mathématique # théorie des modèles # informatique

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

Location : Colloque 1er étage (SING)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Authors

J More

MSC Codes

J More

Language