Logic Colloquium '69: proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969

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