Oct 25, 2025 Limits and Colimits, Part 4 Colimits Jul 14, 2022 Remark on applications of Zeng und Husing to boolean equations and graph theoretic problem Jul 23, 2021 Hilbert's tenth problem, Gödel's incompleteness theorem