It is not the case that Henkin semantics for second-order logic permits non-standard interpretations of quantifiers over relations, under which second-order logic is complete and its Löwenheim-Skolem theorems hold (Henkin 1950).
?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.