Mathematical Logic and Foundations of Set Theory, Proceedings of an International Colloquium Held Under the Auspices of The Israel Academy of Sciences and Humanities

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

Author(s): Yehoshua Bar-Hillel (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 59
Publisher: North-Holland
Year: 1970

Language: English
Pages: ii-v, 1-145

Content:
Advisory Board
Page ii

Edited by
Page iii

Copyright page
Page iv

Preface
Page v

Weakly Definable Relations and Special Automata Original Research Article
Pages 1-23
Michael O. Rabin

Determinacy and Prewellorderings of the Continuum Original Research Article
Pages 24-62
Yiannis n. Moschovakis

Initial Segments of the Degrees of Unsolvability Part I: A Survey
Pages 63-83
C.E.M. Yates

Some Applications of Almost Disjoint Sets Original Research Article
Pages 84-104
R.B. Jensen, R.M. Solovay

On Local Arithmetical Functions and Their Application For Constructing Types of Peano's Arithmetic Original Research Article
Pages 105-121
Haim Gaifman

Definable Sets of Minimal Degree Original Research Article
Pages 122-128
Ronald Jensen

Definability in Axiomatic Set Theory II Original Research Article
Pages 129-145
Azriel Levy