LEADER 02987nam 2200673 450 001 996466633003316 005 20220910141504.0 010 $a3-540-48220-2 024 7 $a10.1007/BFb0083663 035 $a(CKB)1000000000437418 035 $a(SSID)ssj0000324681 035 $a(PQKBManifestationID)12116222 035 $a(PQKBTitleCode)TC0000324681 035 $a(PQKBWorkID)10314276 035 $a(PQKB)10857944 035 $a(DE-He213)978-3-540-48220-8 035 $a(MiAaPQ)EBC5610372 035 $a(Au-PeEL)EBL5610372 035 $a(OCoLC)1078997115 035 $a(MiAaPQ)EBC6841910 035 $a(Au-PeEL)EBL6841910 035 $a(OCoLC)793079170 035 $a(PPN)155198947 035 $a(EXLCZ)991000000000437418 100 $a20220910d1989 uy 0 101 0 $aeng 135 $aurnn#008mamaa 181 $ctxt 182 $cc 183 $acr 200 00$aMathematical logic and applications $eproceedings of the Logic Meeting held in Kyoto, 1987 /$fedited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue 205 $a1st ed. 1989. 210 1$aBerlin, Germany ;$aNew York, New York :$cSpringer-Verlag,$d[1989] 210 4$dİ1989 215 $a1 online resource (V, 226 p.) 225 1 $aLecture Notes in Mathematics,$x0075-8434 ;$v1388 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a0-387-51527-5 311 $a3-540-51527-5 327 $aRecursively enumerable sets in models of ?2 collection -- The role of a filter quantifier in set theory -- Syntactical simulation of many-valued logic -- Consistency of Beeson's formal system RPS and some related results -- Elementary properties of a system of fundamental sequences for ?o -- The continuum hypothesis and the theory of the Kleene degrees -- ?1-Collection and the finite injury priority method -- Computational complexity of languages counting random oracles -- Infinitesimal calculus interpreted in infinitary logic. 330 $aThese 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. 410 0$aLecture Notes in Mathematics,$x0075-8434 ;$v1388 606 $aMathematics 606 $aLogic, Symbolic and mathematical 615 0$aMathematics. 615 0$aLogic, Symbolic and mathematical. 676 $a511.3 686 $a00B25$2msc 686 $a03-06$2msc 702 $aTugue?$b T.$f1926- 702 $aSlaman$b T. A.$f1954- 702 $aShinoda$b J.$f1948- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996466633003316 996 $aMathematical logic and applications$9262396 997 $aUNISA