On lambda strongly homogeneity existence for cofinality logics

2009/02/03 by Saharon Shelah, Shelah, Saharon
Computer Science · Mathematics · #Advanced Algebra and Logic #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #math.LO

paper · pdf · doi:10.48550/arxiv.0902.0439

published as Cubo 13 No. 2 (2011) 59--72

arxiv created 2009/02/03 · openalex publication_date 2009/02/03 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

Let C subset Reg be a non-empty class (of regular cardinal). Then the logic L(Q^cf_C) has additional nice properties: it has homogeneous model existence property.

Related

• Completeness of infinitary heterogeneous logic
• Homogenousness and Specificity
• Ideals, Cohen sets and consistent extensions of the Erdős-Dushnik-Miller Theorem
• Maximal models up to the first measurable in ZFC
• Singular cofinality conjecture and a question of Gorelic