Mathematical Logic and Applications : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Tosiyuki Tugué, Theodore A. Slaman.

Format:

Book

Contributor:

Shinoda, J. (Juichi), 1948- editor.

Tugué, T. (Tosiyuki), 1926- editor.

Slaman, Theodore A., editor.

SpringerLink (Online service)

Series:

Lecture Notes in Mathematics, 0075-8434 ; 1388.

Lecture Notes in Mathematics, 0075-8434 ; 1388

Language:

English

Subjects (All):

Logic, Symbolic and mathematical.

Mathematics.

Mathematical Logic and Foundations.

Mathematics Education.

Local Subjects:

Mathematical Logic and Foundations.

Mathematics Education.

Physical Description:

1 online resource (V, 226 pages).

Contained In:

Springer eBooks

Place of Publication:

Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1989.

System Details:

text file PDF

Summary:

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.

Contents:

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.

Other Format:

Printed edition:

ISBN:

9783540482208

Access Restriction:

Restricted for use by site license.