Logic Colloquium '73, Proceedings of the Logic Colloquium

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