# What is a universal function?

This question stems from Dick Lipton's recent blog post on the Axiom of Choice. I asked there but got no takers. I promise I'm not an inept Googler, but I couldn't find a satisfactory answer. I suspect universal in this context means computable by a universal Turing machine, or something close to that, but I'd like to know for sure.

-
I added the axiom-of-choice and set-theory tags. –  Joel David Hamkins Apr 19 '10 at 20:19