2019-01-13

Not much math; I spent the day relaxing, reading things, socializing, and thinking about some things.

I made some additions to the List of important distinctions in mathematical logic page.