%0 Journal Article %A V. A. Lyubetskii %A E. I. Gordon %T Embedding of sheaves in a Heyting-valued universe. %J Doklady Akademii Nauk %D 1983 %P 794-798 %V 268 %N 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/DAN_1983_268_4_a4/ %G ru %F DAN_1983_268_4_a4