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