Proceedings of the Sixth Asian Logic Conference, Beijing, China, 20-24 May 1996

著者

• Asian Logic Conference
• Chong, Chi-Tat

書誌事項

Proceedings of the Sixth Asian Logic Conference, Beijing, China, 20-24 May 1996

editors, C.T. Chong ... [et al.]

World Scientific : Singapore University Press, c1998

内容説明・目次

内容説明

This volume collects written versions of invited and contributed talks presented at the conference. It covers many areas of logic and the foundations of mathematics, as well as computer science.

目次

• Seminormal fine measures on Pk(lambda), Y. Abe
• recursion theory and weak fragments of Peano arithmetic - a study of definable cuts, C.T. Chong and Y. Yang
• lattice embedding into d-r.e. degrees preserving 0 and 1, D. Ding and L. Qian
• on stationary reflection principles, Q. Feng
• decidability and undecidability in the enumerable Turing degrees, S. Lempp
• a note on weak segments of PFA, T. Miyamoto
• linear set theory with strict comprehension, M. Shirahata
• a solution to a problem of Marek and Truszcy ski, K. Su and H. Chen
• DNK and natural reasoning, M. Yasugi and M. Nakata
• Asian logic conferences, M. Yasugi
• other papers.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA36317931
• ISBN:
  • 9810234325
• 出版国コード: si
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Singapore
• ページ数/冊数: x, 356 p.
• 大きさ: 22 cm