Some Model Theory of Hypergeometric and Pfaffian Functions
Logic
2016-11-21 v1
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 because of its close relation to modular functions.
Keywords
Cite
@article{arxiv.1611.06090,
title = {Some Model Theory of Hypergeometric and Pfaffian Functions},
author = {Ricardo Bianconi},
journal= {arXiv preprint arXiv:1611.06090},
year = {2016}
}
Comments
Presented at the workshop "Logic and Applications: in honour to Francisco Miraglia by the occasion of his 70th birthday", September, 16-17, 2016, at the University of S\~ao Paulo, SP, Brazil