The Model Companion

The student logic group at UMD has recently started a project to collate a large amount of model theory knowledge into an online wiki, which we have dubbed “The Model Companion”. If you are interested in contributing (if you know some model theory, please consider doing so!) then you can find instructions on the wiki’s github page.

I have made some contributions already and I plan to make a lot more.

Fun Stuff

Map of the Universe

An interactive map of some of the most common dividing lines in model theory.

OuLiPo

A group of authors and poets who combine mathematics and literature.