Blick ins Buch

Mathematical Logic and Applications

Proceedings of the Logic Meeting held in Kyoto, 1987

Juichi Shinoda, Theodore A. Slaman, Tosiyuki Tugue (Herausgeber)

Buch | Softcover

V, 226 Seiten

1989 | 1989
Springer Berlin (Verlag)
978-3-540-51527-2 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

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.

Erscheint lt. Verlag	9.8.1989
Reihe/Serie	Lecture Notes in Mathematics
Zusatzinfo	V, 226 p.
Verlagsort	Berlin
Sprache	englisch
Maße	155 x 235 mm
Gewicht	340 g
Themenwelt	Mathematik / Informatik ► Mathematik ► Allgemeines / Lexika
	Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre
	Sozialwissenschaften ► Pädagogik
Schlagworte	Counting • Mathematical Logic • set theory
ISBN-10	3-540-51527-5 / 3540515275
ISBN-13	978-3-540-51527-2 / 9783540515272
Zustand	Neuware