The papers in this volume originated as talks given at the Boston Logic
Colloquium during the year 1972-73. However, some of them contain more recent
developments not originally included in the talks. They are all technical papers
in mathematical logic but with a strong foundational interest. Thus they should
also be of interest to philosophers.
Eleven talks were actually given at the colloquium. However, the talks
by Abraham Robinson and Alexander Yessenin-Volpin were expository and the one
by Ivor Grattan-Guinness was historical. The eleventh talk, by John Myhill,
on constructive set theory, will appear in the Journal of Symbolic Logic.
Funds for the colloquium were provided by the graduate school of Boston
University through the Boston Colloquium for the Philosophy of Science.
The colloquium was a joint effort by many and I am grateful to the
following for their help. George Berry, Robert Cohen, David Ellerman, James
Geiser, llona Webb, Judson Webb, and Marx Wartofsky.