First-order irrationality criteria

14 November 2013
17:15
Lee Butler
Abstract
A major desideratum in transcendental number theory is a simple sufficient condition for a given real number to be irrational, or better yet transcendental. In this talk we consider various forms such a criterion might take, and prove the existence or non-existence of them in various settings.