On limitwise monotonicity and maximal block functions

被引:1
|
作者
Harris, Charles M. [1 ]
机构
[1] Univ Bristol, Sch Math, Univ Walk, Bristol BS8 1TW, Avon, England
来源
关键词
Limitwise monotonicity; eta-like; computable linear ordering; maximal block; categoricity;
D O I
10.3233/COM-150037
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
We prove the existence of a limitwise monotonic function g : N -> N \ {0} such that, for any Pi(0)(1) function f : N -> N \ {0}, Ran f not equal Ran g. Relativising this result we deduce the existence of an eta-like computable linear ordering A such that, for any Pi(0)(2) function F : Q -> N \ {0}, and eta-like B of order type Sigma{F(q) vertical bar q epsilon Q}, B not similar or equal to A. We prove directly that, for any computable A which is either ( i) strongly eta-like or (ii) eta-like with no strongly eta-like interval, there exists 0'-limitwise monotonic G : Q -> N \ {0} such that A has order type Sigma{G(q) vertical bar q epsilon Q}. In so doing we provide an alternative proof to the fact that, for every eta-like computable linear ordering A with no strongly eta-like interval, there exists computable B not similar or equal to A with Pi(0)(1) block relation. We also use our results to prove the existence of an eta-like computable linear ordering which is Delta(0)(3) categorical but not Delta(0)(2) categorical.
引用
收藏
页码:119 / 139
页数:21
相关论文
共 50 条
  • [1] LC-FUNCTIONS AND MAXIMAL MONOTONICITY
    Simons, Stephen
    [J]. JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2006, 7 (01) : 123 - 138
  • [2] Rational functions with maximal radius of absolute monotonicity
    Loczi, Lajos
    Ketcheson, David I.
    [J]. LMS JOURNAL OF COMPUTATION AND MATHEMATICS, 2014, 17 (01): : 159 - 205
  • [3] FENCHEL DUALITY, FITZPATRICK FUNCTIONS AND MAXIMAL MONOTONICITY
    Simons, S.
    Zalinescu, C.
    [J]. JOURNAL OF NONLINEAR AND CONVEX ANALYSIS, 2005, 6 (01) : 1 - 22
  • [4] LIMITWISE MONOTONIC FUNCTIONS AND THEIR APPLICATIONS
    Downey, Rodney G.
    Kach, Asher M.
    Turetsky, Daniel
    [J]. PROCEEDINGS OF THE 11TH ASIAN LOGIC CONFERENCE: IN HONOR OF PROFESSOR CHONG CHITAT ON HIS 60TH BIRTHDAY, 2012, : 59 - 85
  • [5] Approaching the Maximal Monotonicity of Bifunctions via Representative Functions
    Bot, Radu Ioan
    Grad, Sorin-Mihai
    [J]. JOURNAL OF CONVEX ANALYSIS, 2012, 19 (03) : 713 - 724
  • [6] MAXIMAL MONOTONICITY AND CYCLIC INVOLUTIVITY OF MULTICONJUGATE CONVEX FUNCTIONS
    Lim, Tongseok
    [J]. SIAM JOURNAL ON OPTIMIZATION, 2023, 33 (04) : 2489 - 2511
  • [7] A new condition for maximal monotonicity via representative functions
    Bot, Radu Ioan
    Csetnek, Ernoe Robert
    Wanka, Gert
    [J]. NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS, 2007, 67 (08) : 2390 - 2402
  • [8] The maximal monotonicity of the subdifferentials of convex functions: Simons' problem
    Zagrodny, D
    [J]. SET-VALUED ANALYSIS, 1996, 4 (04): : 301 - 314
  • [9] Strongly η-representable degrees and limitwise monotonic functions
    M. V. Zubkov
    [J]. Algebra and Logic, 2011, 50 : 346 - 356
  • [10] Computable Linear Orders and Limitwise Monotonic Functions
    Frolov A.N.
    Zubkov M.V.
    [J]. Journal of Mathematical Sciences, 2021, 256 (1) : 61 - 95