Title | Mathematical Logic and Applications [electronic resource] : Proceedings of the Logic Meeting held in Kyoto, 1987 / edited by Juichi Shinoda, Tosiyuki Tuguรฉ, Theodore A. Slaman |
---|---|
Imprint | Berlin, Heidelberg : Springer Berlin Heidelberg, 1989 |
Connect to | http://dx.doi.org/10.1007/BFb0083663 |
Descript | V, 226 p. online resource |
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