The Omitting Type Theorem in Lattice-valued Model Theory of L(Q)
WANG Hanpin,XIE Huiyang
Acta Scientiarum Naturalium Universitatis Pekinensis . 1999, (3): 409 -413 .