Matiyasevich, Yu. V. A sufficient condition for the recursive convergence of a monotone sequence. (Russian) Zbl 0222.02029 Zap. Nauchn. Semin. Leningr. Otd. Mat. Inst. Steklova 20, 97-103 (1971). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page MSC: 03F60 Constructive and recursive analysis 03F99 Proof theory and constructive mathematics Citations:Zbl 0252.02033 × Cite Format Result Cite Review PDF Full Text: EuDML