It is not the case that Under Henkin semantics, the argument that only countably many structures are characterizable fails, because the expressive power of second-order logic collapses to that of many-sorted first-order logic, which characterizes structures up to elementary equivalence rather than isomorphism.
?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.