Add to ORKG© 2014, Pleiades Publishing, Ltd. In this paper we generalize the theorem that previously obtained by the authors for a wider class of linear orders using X-limitwise monotonic functions relative to the Kleene’s Ordinal Notation System
International audienceIn Chapter 3 of his Notes on constructive mathematics, Martin-Löf describes re...
Abstract: A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal ωCK1...
The notion of a function from ℕ to ℕ defined by recursion on ordinal notations is fundamental in pro...
© 2014, Pleiades Publishing, Ltd. In this paper we generalize the theorem that previously obtained b...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
© 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. We extend the limitwise monotonicity notion to th...
In this paper, we prove Kierstead's conjecture for linear orders whose order types are ∑q∈QF(q), whe...
The current work studies the limitwise monotonic spectra introduced by Downey, Kach and Turetsky [6]...
In this paper, we study effective monotonic approximations of sets and sequences of sets. We show th...
By a syntactical construction we define an order-preserving mapping of Gordeev’s ordinal notation sy...
In this article we investigate whether the following conjecture is true or not: does the addition-fr...
Summary. In the first part of the article we introduce the following operations: On X that yields th...
The text is concerned with the definition and investigation of some classes of ordinal valued-functi...
International audienceIn Chapter 3 of his Notes on constructive mathematics, Martin-Löf describes re...
Abstract: A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal ωCK1...
The notion of a function from ℕ to ℕ defined by recursion on ordinal notations is fundamental in pro...
© 2014, Pleiades Publishing, Ltd. In this paper we generalize the theorem that previously obtained b...
In this paper, we describe the technique of extremely monotonic functions in the theory of computabl...
© 2017, Pleiades Publishing, Ltd.We find new sufficient conditions for the existence of a 0’-limitwi...
© 2015 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim. We extend the limitwise monotonicity notion to th...
In this paper, we prove Kierstead's conjecture for linear orders whose order types are ∑q∈QF(q), whe...
The current work studies the limitwise monotonic spectra introduced by Downey, Kach and Turetsky [6]...
In this paper, we study effective monotonic approximations of sets and sequences of sets. We show th...
By a syntactical construction we define an order-preserving mapping of Gordeev’s ordinal notation sy...
In this article we investigate whether the following conjecture is true or not: does the addition-fr...
Summary. In the first part of the article we introduce the following operations: On X that yields th...
The text is concerned with the definition and investigation of some classes of ordinal valued-functi...
International audienceIn Chapter 3 of his Notes on constructive mathematics, Martin-Löf describes re...
Abstract: A question is proposed if a nonrecursive ordinal, the so-called Church-Kleene ordinal ωCK1...
The notion of a function from ℕ to ℕ defined by recursion on ordinal notations is fundamental in pro...