Description

Book Synopsis
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.

Table of Contents
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.

Proceedings Of The Sixth Asian Logic Conference

    Product form

    £80.75

    Includes FREE delivery

    RRP £85.00 – you save £4.25 (5%)

    Order before 4pm today for delivery by Wed 24 Jun 2026.

    A Paperback / softback by Chi Tat Chong, Mariko Yasugi, Qi Feng

    Out of stock

      Trusted by thousands of customers. See 2,385+ Customer Reviews

      View other formats and editions of Proceedings Of The Sixth Asian Logic Conference by Chi Tat Chong

      Publisher: World Scientific Publishing Co Pte Ltd
      Publication Date: 14/04/1998
      ISBN13: 9789810234324, 978-9810234324
      ISBN10: 9810234325

      Description

      Book Synopsis
      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.

      Table of Contents
      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.

      Recently viewed products

      © 2026 Book Curl

        • American Express
        • Apple Pay
        • Diners Club
        • Discover
        • Google Pay
        • Maestro
        • Mastercard
        • PayPal
        • Shop Pay
        • Union Pay
        • Visa

        Login

        Forgot your password?

        Don't have an account yet?
        Create account