2 papers
math.LO2016
Some Model Theory of Hypergeometric and Pfaffian Functions
Ricardo Bianconi
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 completenes…
math.LO2014
Uniform Model Completeness for the Real Field with the Weierstrass Function
Ricardo Bianconi
In this work is we prove model completeness for the expansion of the real field by the Weierstrass function as a function of the variable and the parameter (or period) $τ…