This is a list of the categories I use, with brief explanations:
- In the Light of Logic — posts about the book with this title, by Solomon Feferman.
- Great papers — posts summarizing papers that I highly recommend.
- Termination analysis — posts about different algorithmic methods for showing functions terminate in type theory.
- Meetings — notes from workshops, conferences, and other meetings I attend.
- Philosophy — occasional posts on philosophy of logic or mathematics.
- the list is growing and I am not quite managing to keep this up to date…