
Abstract We prove the existence of a limitwise monotonic function [Formula: see text] such that, for any [Formula: see text] function [Formula: see text], [Formula: see text]. Relativising this result we deduce the existence of an η-like computable linear ordering [Formula: see text] such that, for any [Formula: see text] function [Formula: see text], and η-like [Formula: see text] of order type [Formula: see text], [Formula: see text]. We prove directly that, for any computable [Formula: see text] which is either (i) strongly η-like or (ii) η-like with no strongly η-like interval, there exists [Formula: see text]-limitwise monotonic [Formula: see text] such that [Formula: see text] has order type [Formula: see text]. In so doing we provide an alternative proof to the fact that, for every η-like computable linear ordering [Formula: see text] with no strongly η-like interval, there exists computable [Formula: see text] with [Formula: see text] block relation. We also use our results to prove the existence of an η-like computable linear ordering which is [Formula: see text] categorical but not [Formula: see text] categorical.
η-like, limitwise monotonicity, maximal block, maximal block,, computable linear ordering, 004, 510, Limitwise monotonicity,, η-like,, computable linear ordering,, Limitwise monotonicity, \(\eta\)-like, categoricity, Theory of numerations, effectively presented structures
η-like, limitwise monotonicity, maximal block, maximal block,, computable linear ordering, 004, 510, Limitwise monotonicity,, η-like,, computable linear ordering,, Limitwise monotonicity, \(\eta\)-like, categoricity, Theory of numerations, effectively presented structures
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 1 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Average | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Average | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Average |
