|
Zapiski Nauchnykh Seminarov LOMI, 1971, Volume 20, Pages 263–271
(Mi znsl2414)
|
|
|
|
A pseudo-rundamental sequence not equivalent to any monotone sequence
G. S. Tseitin
Abstract:
An algorithmic sequence $\varphi$ of rational numbers is called pseudo-fundamental if
$$
\forall m\rceil\rceil\exists n\forall kl(k>n\& l>n\supset|\varphi_k-\varphi_l|<2^{-m}).
$$
Two sequences $\varphi$ and $\psi$ are called equivalent if
$$
\forall m\rceil\rceil\exists n\forall l(l>n\supset|\varphi_l-\psi_l|<2^{-m}).
$$
A pseudo-fundamental sequence is constructed that is not equivalent to any monotonous sequence (it is the difference of two bounded increasing sequences). The construction is based on two recursively enumerable sets with incomparable degrees of unsolvability or on a weaker result proved independently.
Citation:
G. S. Tseitin, “A pseudo-rundamental sequence not equivalent to any monotone sequence”, Studies in constructive mathematics and mathematical logic. Part IV, Zap. Nauchn. Sem. LOMI, 20, "Nauka", Leningrad. Otdel., Leningrad, 1971, 263–271
Linking options:
https://www.mathnet.ru/eng/znsl2414 https://www.mathnet.ru/eng/znsl/v20/p263
|
Statistics & downloads: |
Abstract page: | 158 | Full-text PDF : | 55 |
|