Monadic分划逻辑中的Fraisse定理

FRAISSE THEOREM ON MONADIC PARTITION LOGIC

给出Ｍｏｎａｄｉｃ分划逻辑初等等价的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。

An algebraic characterizing is given for the models being elementary equivalent on Monadic partition logic. then the Fraisse theorem is generatized from first order logic to monadic partition logic.