%0 Journal Article %A Payne, Jonathan %D 2015 %J Notre Dame Journal of Formal Logic %N 1 %P 243-261 %T Extensionalizing Intensional Second-Order Logic %V 56