HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Recursive Analysis Characterized as a Class of Real Recursive Functions

Olivier Bournez 1 Emmanuel Hainry 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : Recently, using a limit schema, we presented an analog and machine independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis. In a different and orthogonal work, we proposed a minimization schema that allows to provide a class of real recursive functions that corresponds to extensions of computable functions over the integers. Mixing the two approaches we prove that computable functions over the real numbers in the sense of recursive analysis can be characterized as the smallest class of functions that contains some basic functions, and closed by composition, linear integration, minimization and limit schema.
Document type :
Journal articles
Complete list of metadata

https://hal.inria.fr/inria-00000515
Contributor : Olivier Bournez Connect in order to contact the contributor
Submitted on : Wednesday, October 26, 2005 - 6:51:51 PM
Last modification on : Friday, May 13, 2022 - 10:18:04 PM

Identifiers

  • HAL Id : inria-00000515, version 1

Collections

Citation

Olivier Bournez, Emmanuel Hainry. Recursive Analysis Characterized as a Class of Real Recursive Functions. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2006, 74 (4), pp.409-433. ⟨inria-00000515⟩

Share

Metrics

Record views

220