Repository | Journal | Volume | Articles
(2008) Synthese 164 (3).
Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
Publication details
DOI: 10.1007/s11229-008-9353-3
Full citation:
Craig, W.L. (2008). The road to two theorems of logic. Synthese 164 (3), pp. 333-339.
This document is unfortunately not available for download at the moment.