摘要
本文证明了在有限值格下，一个模型类是初等类当且仅当它对超积和初等等价封闭，同时值格需有强特征式，语言应附有相应的零元关系符号。
It is proved that a claJss of lattice-valued models is an elementary class if and onlyif it is closed under ultraproducts and elementary equiValence provided that the valued-lattice isfinite and has a strong characteristic form and the language bears a set of O-ary relation symbols。Some remarks are also given。
出处
《数学学报（中文版）》
SCIE
CSCD
北大核心
1995年第1期111-116,共6页
Acta Mathematica Sinica：Chinese Series
关键词
格值模型
初等类
超积
lattice-valued model,elementary class, ultraproduct
