13 documents found, page 1 of 2
Model completeness for the real field with the Weierstrass ℘ function
Bianconi, Ricardo
Some model theory of hypergeometric and Pfaffian functions
Bianconi, Ricardo
Model complete expansions of the real field by modular functions and forms
Bianconi, Ricardo
Bounded theories for polyspace computability
Bianconi, Ricardo; Ferreira, Gilda; Silva, EmmanuelWe present theories of bounded arithmetic and weak analysis whose provably total functions (with appropriate graphs) are the polyspace computable functions. More precisely, inspired in Ferreira’s systems PTCA, Sigma^b_1-NIA and BTFA in the polytime framework, we propose analogue theories concerning polyspace computability. Since the techniques we employ in the characterization of PSPACE via formal systems (e.g....
Triangle integral-a nonabsolute integration process suitable for piecewise line...
Bianconi, Ricardo
Undefinability results in o-minimal expansions of the real numbers
Bianconi, Ricardo
Linear Fredholm integral equations and the integral of Kurzweil
Bianconi, Ricardo
Linear integral equations of Volterra concerning henstock integrals
Bianconi, Ricardo
A note on noninterpretability in o-minimal structures
Bianconi, Ricardo
On the convergence of the integrals of a truncated Henstock-Kurzweil integrable...
Bianconi, Ricardo