Mathematics
Entries about mathematics: I like learning about graphs and logic
Every infinite c.e. set has an infinite computable subset
Intuitionistic Excluded Middle, Glivenko’s theorem and the Gödel-Gentzen translation
The Type-Theoretic Axiom of Choice