RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018 Issue 3, Pages 72–80 (Mi vtpmk510)

This article is cited in 1 paper

Theoretical Foundations of Computer Science

On bound of transfinite construction of inflationary fixed point

S. M. Dudakov

Tver State University, Tver

Abstract: We consider inflationary fixed point operators which are not computable in finitely many steps. In this case we prove that for any ordinal $\alpha\leq\omega^\omega$ there exists an IFP-operator converging exactly in $\alpha$ steps. For discrete order there exists an IFP-operator which can converge exactly in $\alpha$ steps for any ordinal $\alpha$.

Keywords: inflationary fixed point, discrete order, transfinite construction.

UDC: 510.227, 510.624

Received: 20.08.2018
Revised: 24.09.2018

DOI: 10.26456/vtpmk510



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025