It is not the case that Second-order logic satisfies strong κ-compactness when every second-order theory, every subset of size less than κ of which has a model, has itself a model.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.