  Here we can see two recurring concerns in Sylvan’s logical work: a sceptical interest in the idea of a model-theoretic reduction (to be lambasted most vociferously with Meyer in their paper “Extensional Reduction” of 1977), and the uses of worlds semantics to do it.