Proceedings Of The Sixth Asian Logic Conference
Published on 14. April 1998
Book
Paperback/Softback
368 pages
978-981-02-3432-4 (ISBN)
Description
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.
More details
Language
English
Place of publication
Singapore
Singapore
Target group
College/higher education
Professional and scholarly
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 20 mm
Weight
533 gr
ISBN-13
978-981-02-3432-4 (9789810234324)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Persons
Content
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.