Algebraic independence of an Airy function, its derivative, and antiderivative

Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions. Courtesy of Michael Singer, the result is also derived from general considerations in differential Galois theory.