Submission date: 18 November 2016

Abstract:

We present some results and open problems related to expansions of the field of real numbers by hypergeometric and related functions focussing on definability and model completeness questions. In particular, we prove the strong model completeness for expansions of the field of real numbers by the exponential, arctangent and hypergeometric functions. We pay special attention to the expansion of the real field by the real and imaginary parts of the hypergeometric function {_2F_1}({1}/{2},{1}/{2};1;z) because of its close relation to modular functions.

Mathematics Subject Classification: 03C10, 03C40, 03C64, 11F12, 30B40, 33C05

Keywords and phrases:

Full text arXiv 1611.06090: pdf, ps.