more on this theme | more from this thinker | more from this text
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 Ref
-: 'Nous' [-], p.71