02987nam 2200673 450 99646663300331620220910141504.03-540-48220-210.1007/BFb0083663(CKB)1000000000437418(SSID)ssj0000324681(PQKBManifestationID)12116222(PQKBTitleCode)TC0000324681(PQKBWorkID)10314276(PQKB)10857944(DE-He213)978-3-540-48220-8(MiAaPQ)EBC5610372(Au-PeEL)EBL5610372(OCoLC)1078997115(MiAaPQ)EBC6841910(Au-PeEL)EBL6841910(OCoLC)793079170(PPN)155198947(EXLCZ)99100000000043741820220910d1989 uy 0engurnn#008mamaatxtccrMathematical logic and applications proceedings of the Logic Meeting held in Kyoto, 1987 /edited by Juichi Shinoda, Theodore A. Slaman, and Tosiyuki Tugue1st ed. 1989.Berlin, Germany ;New York, New York :Springer-Verlag,[1989]©19891 online resource (V, 226 p.)Lecture Notes in Mathematics,0075-8434 ;1388Bibliographic Level Mode of Issuance: Monograph0-387-51527-5 3-540-51527-5 Recursively 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.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.Lecture Notes in Mathematics,0075-8434 ;1388MathematicsLogic, Symbolic and mathematicalMathematics.Logic, Symbolic and mathematical.511.300B25msc03-06mscTugué T.1926-Slaman T. A.1954-Shinoda J.1948-MiAaPQMiAaPQMiAaPQBOOK996466633003316Mathematical logic and applications262396UNISA