Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

C. T. Chong (auth.), Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman (eds.)9780387515274, 0-387-51527-5

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.

---

Table of contents :
Recursively enumerable sets in models of Σ 2 collection….Pages 1-15
The role of a filter quantifier in set theory….Pages 16-95
Syntactical simulation of many-valued logic….Pages 96-119
Consistency of Beeson’s formal system RPS and some related results….Pages 120-140
Elementary properties of a system of fundamental sequences for Γ o ….Pages 141-152
The continuum hypothesis and the theory of the Kleene degrees….Pages 153-177
Σ 1 -Collection and the finite injury priority method….Pages 178-188
Computational complexity of languages counting random oracles….Pages 189-202
Infinitesimal calculus interpreted in infinitary logic….Pages 203-220