Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
著者
書誌事項
Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
（Lecture notes in mathematics, 1388）
Springer-Verlag, c1989
- : gw
- : us
大学図書館所蔵 件 / 全77件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"The '87th Meeting on Mathematical Logic and its Applications was held at the Research Institute of Mathematical Sciences (RIMS) of Kyoto University during August 3-6, 1987"--Pref
Includes bibliographical references
内容説明・目次
内容説明
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.
「Nielsen BookData」 より
