Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson

Content: Editorial Board Page ii Edited by Page iii Copyright page Page iv Preface Pages vii-viii H.E. Rose, J.C. Shepherdson Mathematics as a Domain of Theoretical Science and of Mental Experience Original Research Article Pages 1-4 Paul Bernays The Philosophical Basis of Intuitionistic Logic Original Research Article Pages 5-40 Michael Dummett Concerning Progress In The Philosophy Of Mathematics Original Research Article Pages 41-52 Abraham Robinson †An Algebraic Characterization of Groups with Soluble Order Problem Original Research Article Pages 53-54 William W. Boone, Graham Higman A Hierarchy of Languages with Infinitely Long Expressions Original Research Article Pages 55-71 Akiko Kino, John Myhill An Intuitionistic Theory of Types: Predicative Part Original Research Article Pages 73-118 Per Martin-Löf Sets, Topoi, and Internal Logic in Categories Original Research Article Pages 119-134 Saunders Maclane Continuously Variable Sets; Algebraic Geometry = Geometric Logic Original Research Article Pages 135-156 F. William Lawvere Processes: A Mathematical Model of Computing Agents Original Research Article Pages 157-173 Robin Milner Monadic Computation And Iterative Algebraic Theories Original Research Article Pages 175-230 Calvin C. Elgot On the Solvability of Algorithmic Problems Original Research Article Pages 231-251 Erwin Engeler Combinatorial Systems II, Non-Cylindrical Problems Original Research Article Pages 253-258 J.P. Cleave Embedding Algebras with Solvable Word Problems in Simple Algebras - Some Boone-Higman Type Theorems Original Research Article Pages 259-277 T. Evans, K.I. Mandelberg, M.F. Neff Elimination of Higher type Levels in Definitions of Primitive Recursive Functionals by Means of Transfinite Recursion Original Research Article Pages 279-303 Helmut Schwichtenberg Some Hierarchies Based on Higher Type Quantification Original Research Article Pages 305-316 S.S. Wainer Analytical Wellorderings in R Original Research Article Pages 317-346 David Guaspari Set Mappings, Partitions, and Chromatic Numbers Original Research Article Pages 347-379 András Hajnal, Attila Máté Interpolation Theorem for Some Modal Logics Original Research Article Pages 381-393 J. Czermak Weak Elimination of Quantifiers and Cotheories Original Research Article Pages 395-398 Paul Henrard Independence Versus Logical Independence in the Countable Case Original Research Article Pages 399-408 C.F. Kent Securable Quantifiers, κ-Unions and Admissible Sets Original Research Article Pages 409-428 Johann Andreas Makowsky Parentheses in Combinatory Logic Original Research Article Pages 429-432 Mohamed A. Amer Equality in 22 Original Research Article Pages 433-444 Jonathan P. Seldin Computation Over Abstract Structures: Serial and Parallel Procedures and Friedman's Effective Definitional Schemes Original Research Article Pages 445-513 J.C. Shepherdson