Mathematical Logic and Applications Proceedings of the Logic Meeting
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 a
- PDF / 15,995,500 Bytes
- 228 Pages / 468 x 684 pts Page_size
- 11 Downloads / 226 Views
1388 J. Shinoda lA. Siaman 1 Tugue
(Eds.)
Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong
Lecture Notes in Mathematics Edited by A. Dold and B. Eckmann
1388 J. Shinoda lA. Siaman 1 Tugue
(Eds.)
Mathematical Logic and Applications Proceedings of the Logic Meeting held in Kyoto, 1987
Springer-Verlag Berlin Heidelberg New York London Paris Tokyo Hong Kong
Editors
Juichi Shinoda Tosiyuki Tuque Department of Mathematics, College of General Education Nagoya University, Nagoya 464-01, JAPAN Theodore A. Siaman University of Chicago, Department of Mathematics Chicago, IL 60637, USA
Mathematics Subject Classification (1980): 03Bxx, 03Dxx, 03Exx, 03Fxx, 03Hxx. ISBN 3-540-51527-5 Springer-Verlag Berlin Heidelberg New York ISBN 0-387-51527-5 Springer-Verlag New York Berlin Heidelberg
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in other ways, and storage in data banks. Duplication of this publication or parts thereof is only permitted under the provisions of the German Copyright Law of September 9, 1965, in its version of June 24, 1985, and a copyright fee must always be paid. Violations fall under the prosecution act of the German Copyright Law.
© Springer-Verlag Berlin Heidelberg 1989 Printed in Germany Printing and binding: Druckhaus Beltz, Hemsbach/Bergstr. 2146/3140-543210
PREFACE
The '87th Meeting 011 Mathematical Logic and its Applications was held at the Research Institute of Mathematical Sciences (RIMS) of Kyoto University during August 3-6, 1987. The present volume represents the proceedings of the meeting, which also includes some contributed papers of the participants. The editors acknowledge with their gratitude that the meeting was sponsored by the RIl\IS, and was partly supported by Grant-in-Aid for Co-operative research project No. 61302010, (the head investigator is Professor T. Uesu, Tokyo Science University), Ministry of Education, Science and Culture. We should also notify that the large number of participants from the United States got their travel expenses through NSF. The second editor visited Japan, mainly in Nagoya, from March through September in 1987 as a visiting professor on a grant from the Nihon Gakujutsu Shinkokai (the Japan Society for the Promotion of Science) through the first editor. Let him take this opportunity to express his heartfelt thanks to institutions and logicians in Japan concerned.
J uichi Shinoda (Nagoya) Theodore A. Slarnan (Chicago) Tosiyuki Tugue (Nagoya)
Table of Contents C.T. Chong Recursively Enumerable Sets in Models of E 2 Collection
1
Y. Kakuda The Role of a Filter Quantifier in Set Theory
16
H. Katsutani Syntactical Simulation of Many-valued Logic
96
S. Kobayashi Consistency of Beeson's Formal System RPS and Some Related Results
12
Data Loading...
