Apparently, this user prefers to keep an air of mystery about them.
86 Are all mathematicians human calculators? nov 4 '13
8 A bestiary about adjunctions nov 5 '13
7 For two theories $T,T'$, what does $T\vdash Con(T')$ really tell us about the models of $T$? nov 12 '13
6 Why can any type be realized? nov 28 '13
6 Can a general version of the covariant powerset monad be derived from the universal property of power objects? mar 16
6 Purpose of the Peano Axioms dec 3 '13
4 What is the purpose of universal quantifier? jan 8 '14