It is not the case that Second-order logic with full powersets achieves quasi-categoricity: it pins down models up to isomorphism, eliminating Löwenheim-Skolem ambiguity.
?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.