Office of Academic Resources
Chulalongkorn University
Chulalongkorn University

Home / Help

TitleMathematical Logic and Applications [electronic resource] : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Tosiyuki Tuguรฉ, Theodore A. Slaman
ImprintBerlin, Heidelberg : Springer Berlin Heidelberg, 1989
Connect to
Descript V, 226 p. online resource


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


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

Mathematics Mathematical logic Mathematics -- Study and teaching Mathematics Mathematical Logic and Foundations Mathematics Education


Office of Academic Resources, Chulalongkorn University, Phayathai Rd. Pathumwan Bangkok 10330 Thailand

Contact Us

Tel. 0-2218-2929,
0-2218-2927 (Library Service)
0-2218-2903 (Administrative Division)
Fax. 0-2215-3617, 0-2218-2907

Social Network


facebook   instragram