Infinitary generalizations of Deligne's completeness theorem

2017/09/06 by Espíndola, Christian
#Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1709.01967

Abstract

Given a regular cardinal κ such that κ^

Related

• Completeness of infinitary heterogeneous logic
• ∇_κ, remarkable cardinals, and 0^#
• A consistency result on long cardinal sequences
• Definable tree property for successors of cardinals
• Definable tree property for uncountable regular cardinals