Mathematics Structural Induction This post explores structural induction and recursion based on the theory of monotone maps on powersets.
Computer Science Definability of Recursive Functions This post discusses recursive functions and their definability in arithmetic.
