A theory of function-induced-orders to study recursion termination

Abhinav Aggarwal, Padam Kumar

Termination property of functions is an important issue in computability theory. In this paper, we show that repeated iterations of a function can induce an order amongst the eleme…