Mathematical Logic and Applications
Proceedings of the Logic Meeting held in Kyoto, 1987
Published on 9. August 1989
Book
Paperback/Softback
V, 226 pages
978-3-540-51527-2 (ISBN)
Description
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.
More details
Series
Edition
1989 ed.
Language
English
Place of publication
Berlin
Germany
Publishing group
Springer Berlin
Target group
Professional and scholarly
Research
Illustrations
V, 226 p.
Dimensions
Height: 235 mm
Width: 155 mm
Thickness: 13 mm
Weight
365 gr
ISBN-13
978-3-540-51527-2 (9783540515272)
DOI
10.1007/BFb0083663
Schweitzer Classification
Content
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.