@article{DAN_1983_268_4_a4, author = {V. A. Lyubetskii and E. I. Gordon}, title = {Embedding of sheaves in a {Heyting-valued} universe.}, journal = {Doklady Akademii Nauk}, pages = {794--798}, publisher = {mathdoc}, volume = {268}, number = {4}, year = {1983}, language = {ru}, url = {http://geodesic.mathdoc.fr/item/DAN_1983_268_4_a4/} }