Image

# 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):

The first model-theoretic smiley!

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$ in $\LaTeX$ by using \models in math mode.

One can metaphorically say that the sole introduction of this symbol signals the beginning of modern mathematical logic, since it works as the bounds between mathematical structures (on the left) and the language in which we write their properties (on the right).

Image

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

In the Southern hemisphere we are enjoying summer games, like drawing some Boolean algebras.

￼￼￼￼￼￼￼Boolean algebra with 6 atoms

If you’re bored, you may try and check if the drawing is correct.