Full Idea
In an indisputable technical result, Boolos showed how plural quantifiers can be used to interpret monadic second-order logic.
Clarification
'Monadic' means the predicates are one-place
Gist of Idea
Boolos showed how plural quantifiers can interpret monadic second-order logic
Source
report of George Boolos (To be is to be the value of a variable.. [1984], Intro) by Øystein Linnebo - Plural Quantification Exposed Intro
Book Reference
-: 'Nous' [-], p.71