On λ strong homogeneity existence for cofinality logic

Abstract

Let C Reg be a non-empty class (of regular cardinals). Then the logic has additional nice properties: it has the homogeneous model existence property.Sea C Reg una clase no vacía (de cardinales regulares). Entonces la lógica tiene propiedades adicionales: Esta tiene la propiedad de modelo existencia homogénea.

Keywords

• Model theory
• soft model theory
• cofinality quantifier