Computable Linear Orders and Limitwise Monotonic Functions

Abstract

In this paper, we describe the technique of extremely monotonic functions in the theory of computable linear orders. The basic definitions of extremely monotonic functions and their generalizations are given, and a number of their basic properties and applications are presented.