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).

Teoría de conjuntos ingenua

Abstract. I’ll discuss one view of the naïve-axiomatic dichotomy in Set Theory. My claim is that one leaves the “naïve” world when first order logic (or put differently, the possibility of different models of ZFC) becomes explicit.

En muchas ocasiones se utiliza el término teoría de conjuntos ingenua; incluso el libro de Halmos se llama así.

Continue reading