skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Versions multiples

Techniques of Admissible Recursion Theory

Chong, Chi-Tat (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

2
Material Type:
Versions multiples

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

Asian Logic Conference 11 2009 Singapore. ; Arai, Toshiyasu ; Chong, Chi-Tat (1949-....)

Plusieurs versions trouvées
Il y a 2 versions

3
E-recursion, forcing and C*-algebras
Material Type:
Livre
Ajouter à Mon espace

E-recursion, forcing and C*-algebras

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A.

New Jersey N.J. London Singapore etc. : World Scientific, 2014

Voir les exemplaires

4
Material Type:
Revue
Ajouter à Mon espace

Journal of mathematical logic

Slaman, Theodore A. ; Chong, Chi-Tat (1949-....) ; Woodin, W. Hugh

Singapore : World Scientific, 2001

Voir les exemplaires  et autres localisations

5
Material Type:
Versions multiples

Notes on forcing axioms

Todor̆cević, Stevo (1965-....) ; Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Yang, Yue (19..-....)

Plusieurs versions trouvées
Il y a 2 versions

6
Forcing, iterated ultrapowers, and Turing degrees
Material Type:
Livre
Ajouter à Mon espace

Forcing, iterated ultrapowers, and Turing degrees

Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A ; Woodin, W. Hugh ; Yang, Yue (19..-....)

New Jersey : World Scientific, 2016

Disponible(Obtenir)

7
Material Type:
Versions multiples

Infinity and truth

Workshop on infinity and truth 2011 Singapour. ; Chong, Chi-Tat (1949-....) ; Feng, Qi (19..-....) ; Slaman, Theodore A. ; Woodin, W. Hugh

Plusieurs versions trouvées
Il y a 2 versions

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré