Completeness of infinitary heterogeneous logic

2019/01/31 by Espíndola, Christian
#Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1902.00064

Abstract

Given a regular cardinal κ such that κ^

Related

• Infinitary generalizations of Deligne's completeness theorem
• A complete axiomatization of infinitary first-order intuitionistic logic over L_{κ⁺, κ}
• Chain Logic and Shelah's Infinitary Logic
• On Some Infinitary Logics
• On lambda strongly homogeneity existence for cofinality logics