Currently studying the complexity of natural numbers in various simple computational models, and occasionally unusual operations on ordinals. See website for more.
28 Are all $p$-adic number systems the same? Jul 24 '12
18 Basic counterexample re: preimages of ideals Oct 28 '10
13 Entire function with $f(z)=\sin(f(z))$ must be constant? Dec 15 '11
7 What is the shortest function of lambda calculus that generates all functions of lambda calculus? Jun 3 '12