Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987: 1388 - Brossura

 
9783540515272: Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987: 1388
Brossura
ISBN 10: 3540515275 ISBN 13: 9783540515272
Casa editrice: Springer, 1989

Sinossi

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

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.

Product Description

Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
1989
Lingua
Inglese
ISBN 10 
3540515275
ISBN 13 
9783540515272
Rilegatura
Copertina flessibile
Numero di pagine
236
Redattore
Shinoda Juichi
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania

Altre edizioni note dello stesso titolo

9780387515274: Mathematical Logic and Applications: Proceedings of the Logic Meeting Held in Kyoto, 1987

Edizione in evidenza

ISBN 10:  0387515275 ISBN 13:  9780387515274
Casa editrice: Springer Verlag, 1989
Brossura