格值模型的初等类及几点注记

本文证明了在有限值格下,一个模型类是初等类当且仅当它对超积和初等等价封闭,同时值格需有强特征式,语言应附有相应的零元关系符号。