Logic Colloquium '69

✍ Scribed by R.O. Gandy and C.M.E. Yates (Eds.)

• Publisher: Elsevier Science
• Year: 1971
• Tongue: English
• Leaves: 437
• Series: Studies in Logic and the Foundations of Mathematics 61
• Category: Library

✦ Table of Contents

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