Works by Chi Tat Chong

( view other items matching `Chi Tat Chong`, view all matches )
7 found
Order:
  1. Association for Symbolic Logic.Jon Barwise, Howard S. Becker, Chi Tat Chong, Herbert B. Enderton, Michael Hallett, C. Ward Henson, Harold Hodes, Neil Immerman, Phokion Kolaitis & Alistair Lachlan - 1998 - Bulletin of Symbolic Logic 4 (4):465-510.
     
    Export citation  
     
    Bookmark  
  2.  17
    Basis theorems for -sets.Chi Tat Chong, Liuzhen Wu & Liang Yu - 2019 - Journal of Symbolic Logic 84 (1):376-387.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  10
    Special Section: Computability Theory and the Foundation of Mathematics.Chi Tat Chong & Stephen G. Simpson - 2017 - Annals of the Japan Association for Philosophy of Science 25:23-24.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  12
    Participants and titles of lectures.Klaus Ambos-Spies, Marat Arslanov, Douglas Cenzer, Peter Cholak, Chi Tat Chong, Decheng Ding, Rod Downey, Peter A. Fejer, Sergei S. Goncharov & Edward R. Griffor - 1998 - Annals of Pure and Applied Logic 94 (1):3-6.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  19
    The fifth asian logic conference: Singapore, June 14-17, 1993.Chi Tat Chong - 1994 - Journal of Symbolic Logic 59 (2):730-732.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  9
    The Fifth Asian Logic Conference, Singapore, 1993.Chi Tat Chong - 1994 - Journal of Symbolic Logic 59 (2):730-732.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  11
    The existence of high nonbounding degrees in the difference hierarchy.Chi Tat Chong, Angsheng Li & Yue Yang - 2006 - Annals of Pure and Applied Logic 138 (1):31-51.
    We study the jump hierarchy of d.c.e. Turing degrees and show that there exists a high d.c.e. degree d which does not bound any minimal pair of d.c.e. degrees.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation