Belyaev, Vladimir N.
(Луганский национальный университет им. Т. Шевченко, 2005)
Conditions for classes F1, F0 of non-decreasing total one-place arithmetic functions to define reducibility m [R1 R0 ] {(A,B)|A,B N & (9 r.f. h)(9f1 2 F1)(9f0 2 F0) [A h m B & f0 E h E f1]} where k E l means that ...