A Proof of the Associated Sheaf Theorem by Means of Categorical Logic

Barbara Veit. A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. Journal of Symbolic Logic, 46(1):45-55, 1981.

Abstract

Abstract is missing.