to the Logic Days

biography publication list selected articles congratulations congratulations 90
condolences
English Version
  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
    
biography | publication list | selected articles | congratulations | contact information | first page | Logic Days

Copyright ©1999 Steklov Institute of Mathematics at St.Petersburg

Design by Lida Mikhailova