Small Decidable Sheaves

Andreas Blass, Andre Scedrov. Small Decidable Sheaves. Journal of Symbolic Logic, 51(3):726-731, 1986.

Abstract

Abstract is missing.