|
This article is cited in 1 scientific paper (total 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.
Received: 20.08.2018 Revised: 24.09.2018
Citation:
S. M. Dudakov, “On bound of transfinite construction of inflationary fixed point”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2018, no. 3, 72–80
Linking options:
https://www.mathnet.ru/eng/vtpmk510 https://www.mathnet.ru/eng/vtpmk/y2018/i3/p72
|
Statistics & downloads: |
Abstract page: | 344 | Full-text PDF : | 161 | References: | 43 |
|