Report on a theorem by Semenov 13/05/2020
This is a write-up of an interesting theorem of Semenov about extensions of MSO with unary predicates.