Professional Documents
Culture Documents
Your use of the JSTOR archive indicates your acceptance of the Terms & Conditions of Use, available at .
http://www.jstor.org/page/info/about/policies/terms.jsp
.
JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of
content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms
of scholarship. For more information about JSTOR, please contact support@jstor.org.
Association for Symbolic Logic is collaborating with JSTOR to digitize, preserve and extend access to The
Journal of Symbolic Logic.
http://www.jstor.org
301
REFERENCES
YALE UNIVERSITY
1 (Added December I4, i959.) The distinction between the senses in which detach-
ment is and is not derivable amounts to a distinction between completeness and Post
completeness. The referee points out that the first explicit application of the distinction
is made by Henry Hii, American Mathematical Society Notices vol. 5 (1958)
abstract no. 538-34.