Functional first order definability of LRTP

• Autores: José Raymundo Marcial-Romero, J. A. Hernández
• Localización: Inteligencia artificial: Revista Iberoamericana de Inteligencia Artificial, ISSN-e 1988-3064, ISSN 1137-3601, Vol. 14, Nº. 48, 2010, págs. 28-40
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable firrst order relations in the sense of Brattka are de nable in the language. If we restrict the language to single-valued total relations (e.g. functions), all polynomials are de nable in the language. This paper is an expanded version of [12] in which we show that the non-deterministic version of the limit operator, which allows to define all computable first order relations, when restricted to single-valued total inputs, produces single-valued total outputs. This implies that not only the polynomials are definable in the language but also all computable first order functions.