%0 Journal Article %A G. E. Mints %T Embedding operations related to the S.~Kripke's ``semantics" %J Zapiski Nauchnykh Seminarov POMI %D 1967 %P 152-159 %V 4 %I mathdoc %U http://geodesic.mathdoc.fr/item/ZNSL_1967_4_a14/ %G ru %F ZNSL_1967_4_a14