skip to content
Mathematical logic and applications : Poceedings of the Logic Meeting held in Kyoto, 1987 Preview this item
ClosePreview this item
Checking...

Mathematical logic and applications : Poceedings of the Logic Meeting held in Kyoto, 1987

Author: J Shinoda; T A Slaman; T Tugué
Publisher: Berlin : Springer-Verlag, 1989
Series: Lecture notes in mathematics, 1388
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

Includes the papers presented at the logic meeting held at the Research Institute for Mathematical Sciences, Kyoto University, in the summer of 1987.

Rating:

(not yet rated) 0 with reviews - Be the first.

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Conference publication
Document Type: Book
All Authors / Contributors: J Shinoda; T A Slaman; T Tugué
ISBN: 3540515275 9783540515272
OCLC Number: 488075465
Description: 222 sider
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.
Series Title: Lecture notes in mathematics, 1388
Responsibility: Editors: J. Shinoda, T.A. Slaman, and T. Tugué
More information:

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/488075465>
library:oclcnum"488075465"
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/488075465>
rdf:typeschema:Book
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:datePublished"1989"
schema:exampleOfWork<http://worldcat.org/entity/work/id/762669880>
schema:inLanguage"en"
schema:name"Mathematical logic and applications : Poceedings of the Logic Meeting held in Kyoto, 1987"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.