<i>L(Q)</i>格值模型的省略型定理

L(Q)格值模型的省略型定理

王捍贫, 谢惠扬

The Omitting Type Theorem in Lattice-valued Model Theory of L(Q)

WANG Hanpin,XIE Huiyang

北京大学学报（自然科学版） . 1999, (3): 409 -413 .