An introduction to the W-calculability: Basic operations.

Autores: Buenaventura Clares Rodríguez
Localización: Stochastica: revista de matemática pura y aplicada, ISSN 0210-7821, Vol. 7, Nº. 2, 1983, págs. 111-135
Idioma: español
Títulos paralelos:
- Una introducción a la W-calculabilidad: Operaciones básicas.
Enlaces
- Texto completo (pdf)
Resumen
- Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,=). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.