Images

  • Introducing Modley

    I have a brand-new favicon at this blog. It is actually a very simple, albeit special, smiley (or “emoji,” of you prefer): Modley is, as most of you have already noticed, the “consequence” or “satisfaction” symbol used in model theory and in Logic in general, rotated 90° counterclockwise. You may typeset the actual symbol $\models$…

  • Happy $\binom{2^6}{2}$!

    In the Southern hemisphere we are enjoying summer games, like drawing some Boolean algebras. If you’re bored, you may try and check if the drawing is correct.