On Till Plewe’s game and Matthew de Brecht’s non-consonance arguments

Last time I mentioned that S₀ is not consonant. I will give Matthew de Brecht’s proof of that. Perhaps the most interesting part of this proof is a criterion that he proves and uses: if a space X is consonant, then player II has a winning strategy in a certain game invented by Till Plewe in order to characterize the spatiality of locale products. Read the full post.