On lambda strongly homogeneity existence for cofinality logics
Abstract
Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(QcfC) has additional nice properties: it has homogeneous model existence property.
0
Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(QcfC) has additional nice properties: it has homogeneous model existence property.