впорядковані множини, упорядочные множества ; лямбда-числення, лямбда-исчисление, lambda-calculus
Стаття присвячена дослідженню щодо можливості побудови, за допомогою методу Койманса, [лямбда]-моделей на базі поняття ([тета])-неперервності функції.
The paper is devoted to investigations on what concerns a possibility of construction, with the help of the K. Koymans method, of a [lambda]-model on the base of a notion of ([theta])-continuity of a function.
