Second-order logic with full powersets achieves quasi-categoricity: it pins down models up to isomor...
This proposition has not been edited since the history system was added.