Studies in Logic and the Foundations of Mathematics | Logic Colloquium '73 - Proceedings of the Logic Colloquium

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

Logic Colloquium '73

Proceedings of the Logic Colloquium

Pages ii-viii, 1-513 (1975)

Actions for selected chapters

Contents

Invited Papers

Contributed Papers