Logic Colloquium '69

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): R.O. Gandy and C.M.E. Yates (Eds.)
Series: Studies in Logic and the Foundations of Mathematics 61
Publisher: Elsevier Science
Year: 1971

Language: English
Pages: ii-xiv, 3-451

Content:
Advisory Editorial Board
Page ii

Edited by
Page iii

Copyright page
Page iv

Preface
Page vii
Robin Candy, Michael Yates

List of Participants Original Research Article
Pages xiii-xiv

Recursion Theoretic Structure for Relational Systems Original Research Article
Pages 3-17
Daniel Lacombe

Measurable Cardinals Original Research Article
Pages 19-49
J.R. Shoenfield

Infinitary Methods in the Model Theory of Set Theory Original Research Article
Pages 53-66
Jon Barwise

On Semisets Original Research Article
Pages 67-76
Petr HГЎjek

Computability Over the Continuum Original Research Article
Pages 77-105
Peter G. Hinman, Yiannis N. Moschovakis

On the GCH At Measurable Cardinals Original Research Article
Pages 107-110
Kenneth Kunen

Axiomatic Recursive Function Theory Original Research Article
Pages 113-137
Harvey M. Friedman

Some Reasons for Generalizing Recursion Theory Original Research Article
Pages 139-198
G. Kreisel

Axioms for Computation Theories-First Draft Original Research Article
Pages 199-255
Yiannis N. Moschovakis

A Countable Hierarchy for the Superjump Original Research Article
Pages 257-271
Richard A. Platek

Recursively Mahlo Ordinals and Inductive Definitions Original Research Article
Pages 273-288
Wayne Richter

F-Recursiveness Original Research Article
Pages 289-303
Gerald E. Sacks

A Simplified Proof for the Unsolvability of the Decision Problem in the Case в‹Ѓв‹Ђв‹Ѓ Original Research Article
Pages 307-310
H. Hermes

An Intrinsic Characterization of the Hierarchy of Constructible Sets of Integers Original Research Article
Pages 311-350
Stephen Leeds, Hilary Putnam

Standard and Non-Standard Methods in Uniform Topology Original Research Article
Pages 353-359
J.E. Fenstad, A.M. Nyberg

Algorithmic Procedures, Generalized Turing Algorithms, and Elementary Recursion Theory Original Research Article
Pages 361-389
Harvey Friedman

Semantic Proof of The Craig Interpolation Theorem for Intuitionistic Logic and Extensions. Part I Original Research Article
Pages 391-401
Dov M. Gabbay

Semantic Proof of Craig's Interpolation Theorem for Intuitionistic Logic and Extensions, Part II Original Research Article
Pages 403-410
DovM. Gabbay

Kreisel's Work on the Philosophy of Mathematics-I. Realism Original Research Article
Pages 411-438
J.M.B. Moss

Ramsey's Theorem does not Hold in Recursive Set Theory Original Research Article
Pages 439-442
E. Specker

A Note on Arithmetical Sets of Indiscernibles Original Research Article
Pages 443-451
C.E.M. Yates