Skip to main content
  • Conference proceedings
  • © 1989

Mathematical Logic and Applications

Proceedings of the Logic Meeting held in Kyoto, 1987

Part of the book series: Lecture Notes in Mathematics (LNM, volume 1388)

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (9 papers)

  1. Front Matter

    Pages I-IV
  2. Syntactical simulation of many-valued logic

    • Hiroaki Katsutani
    Pages 96-119
  3. The continuum hypothesis and the theory of the Kleene degrees

    • Juichi Shinoda, Theodore A. Slaman
    Pages 153-177
  4. Σ1-Collection and the finite injury priority method

    • Theodore A. Slaman, W. Hugh Woodin
    Pages 178-188
  5. Back Matter

    Pages 221-223

About this book

These proceedings include the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987. The meeting mainly covered the current research in various areas of mathematical logic and its applications in Japan. Several lectures were also presented by logicians from other countries, who visited Japan in the summer of 1987.

Keywords

  • Counting
  • mathematical logic
  • set theory

Bibliographic Information

  • Book Title: Mathematical Logic and Applications

  • Book Subtitle: Proceedings of the Logic Meeting held in Kyoto, 1987

  • Editors: Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman

  • Series Title: Lecture Notes in Mathematics

  • DOI: https://doi.org/10.1007/BFb0083663

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1989

  • Softcover ISBN: 978-3-540-51527-2Published: 09 August 1989

  • eBook ISBN: 978-3-540-48220-8Published: 14 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: V, 226

  • Topics: Mathematical Logic and Foundations, Mathematics Education

Buying options

eBook USD 54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (Canada)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions