О понятии конечного множества в конструктивной математике

##plugins.themes.bootstrap3.article.main##

A.A. Vladimirov

Abstract

It is known that the concept of non-infinite set is non- monolithic from the point of view of A. A. Markov’s constructive mathematics. In the paper we present one general approach to constructivist conception of «type of non-infiniteness».

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Veldman W. Some intuitionistic variations on the notion of a finite set of natural numbers// Repsectives on negation. Tilburg Univ. Press, Tilburg, 1995. P. 177-202.
Владимиров А.А. Об иерархиях конечных множеств // ДАН. 2006. Т. 406, № 3. С. 295-297.
Владимиров А.А. О сравнении интегралов Дарбу и Римана в конструктивном математическом анализе // Препринт доступен на сайте http://arxiv.org/abs/0911.2892
Владимиров А.А., Домбровский-Кабанченко _.H. Ступенчатая семантическая система. М.: Изд-во ВЦ РАН, 2009.
Заславский И.Д. Некоторые свойства конструктивных вещественных чисел и конструктивных функций // Труды матем. ин-та им. В. А. Стеклова. Т. 67. С. 385-457.
Кушнер Б.А. Лекции по конструктивному математическому анализу. М.: Наука, 1973.
Марков А.А. Попытка построения логики конструктивной математики // Исследования по теории алгорифмов и математической логике. Т. 2. М.: Изд-во ВЦ АН СССР, 1976. С. 3-31.
Марков А.А., Нагорный _.М. Теория алгорифмов. М.: ФАЗИС, 1996.
Нагорный _.М. Монолитно ли понятие конечного множества? (По поводу одной непубликовавшейся работы А.А. Маркова) // Марков А.А. Избр. труды. Т. 2. М.: Изд-во МЦНМО, 2003. С. 527-534.
Нагорный _.М., Шанин Н.А. Андрей Андреевич Марков (к шестидесятилетию со дня рождения) // Успехи матем. наук. 1964. Т. 19, № 3. С. 207-223.
Роджерс X. Теория рекурсивных функций и эффективная вычислимость. М.: Мир, 1972.