User:Fschwarzentruber/Monadic second order logic

In mathematical logic, monadic second order logic (MSO) is the fragment of second-order logic where second-order quantification is over sets.