µ-recursion and infinite limits

  • Authors:
  • Jerzy Mycka

  • Affiliations:
  • Institute of Mathematics, M. Curie-Sklodowska University pl. M. Curie-Sklodowskiej 1, 20-031 Lublin, Poland

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2003

Quantified Score

Hi-index 5.23

Visualization

Abstract

The set of real functions generated from - 1, 0, 1 by operations of superposition, differential recursion and infinite limits (lim sup, lim inf) is considered. The equivalence of infinite limits and zero-finding operator µ is proved.