|
|
1943
О специальных расширениях топологических пространств.
Доклады Академии наук СССР, 38 (1943), 7-11.
Об отделимости в топологических пространствах.
Доклады Академии наук СССР, 38 (1943), 188-192.
К теории бикомпактных расширений топологических пространств.
Доклады Академии наук СССР, 38 (1943), 166-169.
1944
О погружениях в степень топологического пространства.
Известия Академии наук СССР, серия математическая, 8 (1944), 233-242.
1946
Одна теорема из общей теории множеств.
Доклады Академии наук СССР, 53 (1946), 403-404.
О взаимном пересечении открытых подмножеств произведения
топологических пространств.
Доклады Академии наук СССР, 53 (1946), 503-506.
О произведении топологических пространств.
Доклады Академии наук СССР, 53 (1946), 595-598.
О диадических бикомпактах.
Доклады Академии наук СССР, 53 (1946), 785-788.
1948
О произведении топологических пространств.
Труды Математического института им. В. А. Стеклова Академии наук СССР, 24 (1948), 1-112.
1952
О подмножествах натурального ряда чисел, обладающих плотностью.
Математический сборник, 31 (73) (1952), 367-380.
1953
О некоторых операциях над логико-арифметическими формулами.
Доклады Академии наук СССР, 93 (1953), 779-782.
1954
О погружениях классического логико-арифметического исчисления в
конструктивное логико-арифметическое исчисление.
Доклады Академии наук СССР, 94 (1954), 193-196.
1955
О некоторых логических проблемах арифметики.
Труды Математического института им. В. А. Стеклова Академии наук СССР., 43 (1955), 1-112.
1956
Некоторые вопросы математического анализа в свете конструктивной
логики.
Z. f. math. Logik und Grundlagen der Math., 2 (1956), 27-36.
О конструктивном понимании математических суждений.
Труды 3-го Всесоюзного математического съезда, т. 1. М. (1956), 189-190.
О конструктивном математическом анализе.
Труды 3-го Всесоюзного математического съезда, т. 2. М. (1956), 69-71.
1958
О конструктивном понимании математических суждений.
Труды Математического института им. В. А. Стеклова Академии наук СССР, 52 (1958), 226-311.
Об алгорифме конструктивной расшифровки математических суждений.
Z. Math. Logic Grundlagen Math., 4:4 (1958), 293-303.
1959
О линейных конструктивных функционалах в конструктивном гильбертовом пространстве.
Z. Math. Logic Grundlagen Math., 5:1 (1959), 1-8.
1962
Конструктивные вещественные числа и конструктивные функциональные пространства.
Труды Математического института им. В. А. Стеклова Академии наук СССР, 67 (1962), 15-294.
1963
Конструктивный математический анализ.
Труды 4-го Всесоюзного математического съезда, 1 (1963), 198
(совместно с А.А.Марковым, И.Д.Заславским и Г.С.Цейтиным).
1964
К вопросу о конструктивном понимании опорных формул. I.
Труды Математического института им. В. А. Стеклова Академии наук СССР, 72 (1964), 348-397.
1965
Алгорифм машинного поиска естественного логического вывода в исчислении высказываний.
М.-Л. (1965), 1-39. (совместно с Г.В.Давыдовым, С.Ю.Масловым и др.).
1966
Алгорифм поиска естественного логического вывода в исчислении высказываний.
Тезисы кратких научных сообщений Международного конгресса математиков, Секция 1, М. (1966), 28. (совместно с Г.В.Давыдовым, С.Ю.Масловым и др.).
Особенности конструктивного математического анализа.
Тезисы докладов по приглашению Международного конгресса математиков, М. (1966), 171-177. (совместно с Г.С.Цейтиным и И.Д.Заславским).
1968
Особенности конструктивного математического анализа.
Труды Международного конгресса математиков в Москве, М.: Мир (1968), 253-261. (совместно с Г.С.Цейтиным и И.Д.Заславским).
1970
О рекурсивном математическом анализе и исчислении равенств Р.Л.Гудстейна.
В книге: Р.Л.Гудстейн "Рекурсивный математический анализ", М.: Наука (1970), 7-76.
Об узко конструктивной семантике арифметических суждений.
Commun. Indiv., Congress Intern. des Math., Nice, (1970), 2.
1973
Об иерархии способов понимания суждений в конструктивной математике.
Труды Математического института им. В. А. Стеклова Академии наук СССР, 129 (1973), 203-266.
1974
Об иерархии конструктивных функционалов Брауэра.
Записки научных семинаров ЛОМИ, 40 (1974), 142-147.
1976
О кванторе предельной осуществимости.
Записки научных семинаров ЛОМИ, 60 (1976), 209-220.
1977
On the quantifier of limiting realizability.
Proc. of Sumposium. Set. theory, fondations of mathematics. Beograd (1977), 127.
1979
О канонических рекурсивных функциях и операциях.
Записки научных семинаров ЛОМИ, 88 (1979), 218-235.
Понятие канонической рекурсивной функции как альтернатива понятию рекурсивной программы.
Пятая Всесоюзная конференция по математической логике. Тезисы докладов. Новосибирск (1979), 164.
1981
Role of the notion of algorithm in arithmetic language semantics.
Lect. Notes Comput. Sci. 122 (1981).
1982
О семантически простых вариантах конструктивного математического анализа.
Восьмая Всесоюзная конференция "Логика и методология науки". Секция "Логика и основания математики". Тезисы. Вильнюс (1982), 99-104.
Роль и понятие алгорифма в семантике арифметических языков.
Алгоритмы в современной математике и ее приложениях. Материалы международного симпозиума (Ургенч, 1979). Новосибирск (1982), ч.2 147-180.
О мажорировании теорем конструктивной математики семантически простыми утверждениями.
Short communications (Abstracts). 1. Section Math. logic and foundations of mathematics. Warszawa: ICM. (1982), 21.
1983
Об "алгоритмическом подтексте" теории с классическим квантором существования.
Третья конференция "Применения методов математической логики". Тезисы докладов. Таллинн (1983), 115-116.
1984
О финитизации математического анализа.
Седьмая Всесоюзная конференция по математической логике. Тезисы докладов. Новосибирск (1984), 198-199.
1987
On finitary development of mathematical analysis on the base of Euler's notion of function.
Восьмой международный конгресс по логике, методологии и философии науки. Abstracts. Москва 1 (1987), 60-63.
1988
Финитарный вариант понятия обобщенной функции.
Девятая Всесоюзная конференция по математической логике. Тезисы докладов.
Ленинград (1988), 179.
Finitary version of the notion of generalized function.
Intern. conf. on comp. logic (COLOG-88). Abstracts. Tallinn 1 (1988), 99-100.
1994
Понятия и логические средства конструктивной математики как
основа теоретических моделей информационного типа.
Современная логика: проблемы теории, истории и применения в науке.
Тезисы докладов. С.-Петербург (1994), 1-5.
1995
Георг Кантор как автор конструкций, играющих фундаментальные
роли в конструктивной математике.
Записки научных семинаров ПОМИ, 220 (1995), 5-22.
1998
О процедурном подходе к разъяснению смысла суждений.
Современная логика: проблемы теории, истории и применения в науке.
Материалы пятой Общероссийской научной конференции. С.-Петербург (1998), 415-421.
2000
Эскиз финитарного варианта математического анализа.
Препринт ПОМИ
[ Full text:
(.ps.gz),
(.tex),
(.dvi) ]
2001
On a finitary version of mathematical analysis.
Annals of Pure and Applied Logic, v. 113, no. 1-3, 2001, pp. 261-295.
2008
О базисных представлениях финитарной математики.
Methods of Logic in Mathematics, III. Abstracts. P. 14-16. St. Petersburg, 2006.
top
|
