M. V. Zubkov, A. N. Frolov, “Computable linear orders and limitwise monotonic functions”, Itogi Nauki i Tekhniki. Sovrem. Mat. Pril. Temat. Obz., 2018, Volume 157,Pages <nobr>70

This article is cited in 3 papers

Computable linear orders and limitwise monotonic functions

M. V. Zubkov, A. N. Frolov

Kazan (Volga Region) Federal University

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

Keywords: computable linear orders, limitwise monotonic functions, effective presentations, low degrees, self-embeddings, automorphisms.

UDC: 510.5, 512.565.2

MSC: 03D45, 03C57