7 found
Order:
  1.  14
    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  
  2.  7
    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  
  3.  9
    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.  9
    The Fifth Asian Logic Conference, Singapore, 1993.Chi Tat Chong - 1994 - Journal of Symbolic Logic 59 (2):730-732.
  5.  10
    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  
  6.  17
    The Fifth Asian Logic Conference: Singapore, June 14-17, 1993.Chi Tat Chong - 1994 - Journal of Symbolic Logic 59 (2):730-732.
  7. 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.