СПИСОК НАУЧНЫХ ТРУДОВ А. А. МАРКОВА

1924
1. К выяснению процесса образования эфирных масел у хвойных. IV. Образование и превращение эфирного масла у Pinus cembra // Журн. Русск. физ.-хим. о-ва при Ленингр. ун-те. Часть хим. ≈ 1924. ≈Т. 55 (1-4). ≈ С. 175-193. (Совм. с Г. В. Пигулевским и В. В. Владимировой.)

   1926

2. La loi des dix tiers et la classification des chocs dans le probleme des trois corps // Бюл. Астрон. ин-та. ≈ 1926. ≈ Т. 14.≈ С. 159-160.

   1927

3. Uber eine Minimumeigenschaft der Schrodingerschen Wellengrup-pen // Z. Phys. ≈ 1927. ≈ Bd. 42, ╧ 8. ≈ S. 637-640.

   1928

4. Uber einige Bewegungsfalle im Dreikorperproblem // Бюл. Астрон. ин-та.≈1928.≈Т. 21. ≈С. 5-10.

   1929

5. Закон десяти третей и классификация соударений в общей задаче трех тел // Журн. Ленингр. физ.-матем. о-ва. ≈ 1929. ≈ Т. 2, ╧ 2. ≈ С. 81-97.

6. Sur les mouvements presque periodiques // С. R. Acad. Sci. Paris. ≈ 1929. ≈V. 189. ≈P. 732-734.

   1930

7. Об одном интегрируемом случае ограниченной задачи трех тел // В кн.: Труды II, III и IV Астрономических съездов. 1920-1928. ≈ Л.: Ассоц. астрономов РСФСР, 1930. С. 131-132.

   1931

8. Sur une propriete generate des ensembles minimaux de M. Birkhoff // C. R. Acad. Sci. Paris. ≈ 1931. ≈ V. 193. ≈ P. 823-825.

   1932

9. Uber die Ableitbarkeit der Weltmetrik aus der ╚Fruher als╩-Beziehung // Phys. Z. Sow. ≈ 1932. ≈ Bd. 1, ╧ 3. ≈ S. 387-406.

10. Zur ╚Widerlegung╩ der quasi-ergodischen Hypothese durch Prof. J. Frenkel // Phys. Z. Sow. ≈ 1932. ≈ Bd. 2, ╧ 3. ≈ S. 282-285.

    1933

11. Stabilitat im Liapounoffschen Sinne und Fastperiodizitat // Math. Z.≈ 1933. ≈ Bd. 36. ≈ S. 708-738.

12. Sur les espaces vectoriels consideres comme groupes topologiques // C. R. Acad. Sci. Paris. ≈ 1933. ≈V. 197. ≈ P. 610-612.

    1934

13. Об изотопии компактных множеств в эвклидовых пространствах // ДАН СССР. ≈1934.≈Т. 3 (IV), ╧ 3. ≈С. 137-141.

14. Uber endlich-dimensionale Vektorraume // Ann. Math. ≈ 1935. ≈ Bd. 36. ≈ S. 464-506.

    1936

15. О векторных пространствах конечной размерности // В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2. ≈ Л.-М.: Изд-во АН СССР, 1936. С. 138.

16. Арифметическая характеризация тригонометрических полиномов // В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2. ≈Л.-М.: Изд-во АН СССР, 1936. С. 202-205.

17. Почти периодичность и гармонизуемость // В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2. ≈ Л.-М.: Изд-во АН СССР, 1936. С. 227-231.

18. О теории стационарных колебательных процессов акад. Н. М. Крылова и д-ра Н. Н. Боголюбова // В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2.≈Л.-М.: Изд-во АН СССР, 1936. С. 241-246.

19. Письмо в редакцию ╚Трудов Съезда╩ // В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2. ≈ Л.-М.: Изд-во АН СССР, 1936. С. 250-251.

20. О приборах, облегчающих построение функциональных прямолинейных шкал I/ В кн.: Труды II Всесоюзного математического съезда, Ленинград, 1934. Т. 2. ≈Л.≈М.: Изд-во АН СССР, 1936. С. 420-422.

21. Sur une propriete caracteristique des polynomes trigonometriques // Com-positio math. ≈ 1936. ≈ Bd. 3. ≈ P. 305-309.

22. Некоторые теоремы об абелевых множествах // ДАН СССР. ≈ 1936.≈Т. 1 (X), ╧ 8. ≈С. 299-302.

23. Uber die freie Aquivalenz der geschlossenen Zopfe // Матем. сб. Новая сер. ≈1936. ≈Т. 1, ╧ 1. ≈С. 73-78.

    1937

24. О существовании интегрального инварианта // ДАН СССР. ≈ 1937. ≈Т. 17, ╧ 9. ≈С. 455-458.

    1938

25. On the representation of relatively definite functions // Матем. сб. Новая сер. ≈1938. ≈Т. 4, ╧ 1. ≈С. 157-164.

26. On mean values and exterior densities // Матем. сб. Новая сер. ≈ 1938.≈Т. 4, ╧ 1. ≈С. 165-191.

27. Поверхностное распределение постоянного тока в случае наклонного проводящего слоя // В сб.: Материалы Центр, н.-и. геол. ин-та. Геофизика. Т. 5. ≈Л.-М.: ОНТИ НКТП СССР, 1938. С. 40-54.

    1939

28. On the definition of a complex // Матем. сб. Новая сер. ≈ 1939. ≈ Т. 5, ╧3. ≈С. 545-550.

    1940

29. Что такое гладкая поверхность // Уч. зап. ЛГУ. Сер. матем. наук. ≈ 1940. ≈Т. 55. ≈С. 27-39.

30. Проблема сопряженности в группе кос с четырьмя нитями // В сб.: Научно-исследовательские работы институтов, входящих в Отделение физико-математических наук АН СССР. С. 24-28.

31. О трех классах динамических систем // В сб.: Научно-исследовательские работы институтов, входящих в Отделение физико-математических наук АН СССР. С. 28.

32. On the determination of the number of roots of an algebraic equation situated in a given domain // Матем. сб. Новая сер. ≈ 1940. ≈Т. 7, ╧ 1. ≈ С. 3-6.

    1941

33. О свободных топологических группах // ДАН СССР. ≈ 1941. ≈ Т. 31, ╧4. ≈С. 299-302.

34. Примечания редакции // В кн.: Биркгоф Дж. Д. Динамические системы. ≈ М.-Л.: Гостехиздат, 1941. С. 286-317. (Совм. с В. В. Немыцким и В. В. Степановым.)

35. О движении авиаторпеды по почти вертикальной части траектории (совместно с М. Я. Перельманом). Авторское свидетельство. Работа выполнена по заданию АНИМИ. Результаты исследований переданы Главному Арт. управлению.

    1944

36. О существовании периодических связных топологических групп // Изв. АН СССР. Сер. матем. ≈ 1944. ≈Т. 8, ╧ 5. ≈ С. 225-232.

37. О безусловно замкнутых множествах // ДАН СССР. ≈ 1944. ≈Т. 44, ╧5. ≈С. 196-197.

    1945

38. О свободных топологических группах // Изв. АН СССР. Сер. матем.≈1945.≈Т. 9, ╧ 1. ≈С. 3-64.

39. Основы алгебраической теории кос // Тр. Матем. ин-та им. В. А. Стек-лова. ≈ 1945.≈Т. 16. ≈С. 3-54.

    1946

40. О безусловно замкнутых множествах // Матем. сб. Новая сер. ≈ 1946. ≈Т. 18, ╧ 1. ≈С. 3-28.

    1947

41. Невозможность алгорифмов тождества и делимости в теории ассоциативных систем // Успехи матем. наук. ≈ 1947. ≈ Т. 2, ╧ 2. ≈ С. 193.

42. Невозможность некоторых алгорифмов в ассоциативных системах // Успехи матем. наук. ≈ 1947. ≈ Т. 2, ╧ 3. ≈ С. 184.

43. Невозможность некоторых алгорифмов в теории ассоциативных систем // ДАН СССР. ≈ 1947. ≈ Т. 55, ╧ 7. ≈ С. 587-590.

44. О некоторых неразрешимых проблемах, касающихся матриц // ДАН СССР. ≈ 1947. ≈Т. 57, ╧ 6. ≈ С. 539-542.

45. Невозможность некоторых алгорифмов в теории ассоциативных систем. II // ДАН СССР. ≈ 1947. ≈ Т. 58, ╧ 3. ≈ С. 353-356.

46. О представлении рекурсивных функций // ДАН СССР. ≈ 1947. ≈ Т. 58, ╧9. ≈С. 1891-1892.

47. О вариационных принципах в теории пластичности // Прикл. матем. и механ. ≈1947. ≈Т. 11, ╧3. ≈ С. 339-350.

    1948

48. О зависимости аксиомы Вб от других аксиом системы Bernays'a ≈ Godel'H // Изв. АН СССР. Сер. матем. ≈ 1948.≈ Т. 12, ╧ 6. ≈ С. 569-570.

49. Топология // В кн.: Математика в СССР за тридцать лет. 1917-1947. ≈М.-Л.: Гостехиздат, 1948. С. 183-227.

50. Комментарии и перевод работы К. Гёделя ╚Совместимость аксиомы выбора и обобщенной континуум-гипотезы с аксиомами теории множеств╩ // Успехи матем. наук. ≈ Т. 3, ╧ 1. ≈ С. 96-149.

    1949

51. О представлении рекурсивных функций // Изв. АН СССР. Сер. матем. ≈ 1949.≈Т. 13, ╧5. ≈С. 417-424.

52. Об интегрировании в булевских алгебрах // Л., 1949. 1 с. [Тезисы доклада на VI научной сессии ЛГУ 1949 г.]

    1950

53. Конструктивная логика // Успехи матем. наук. ≈ 1950. ≈ Т. 5, ╧3. ≈С. 187-188.

    1951

54. Теория алгорифмов // Тр. Матем. ин-та им. В. А. Стеклова. ≈ 1951. ≈ Т. 38. ≈С. 176-189.

55. Невозможность некоторых алгоритмов в теории ассоциативных систем I/ ДАН СССР. ≈ 1951. ≈ Т. 77, ╧ 1. ≈С. 19-20.

56. Невозможность алгорифмов распознавания некоторых свойств ассоциативных систем // ДАН СССР. ≈1951.≈Т. 77, ╧ 6.≈ С. 953-956.

57. Об одной неразрешимой проблеме, касающейся матриц // ДАН СССР. ≈1951. ≈Т. 78, ╧6. ≈С. 1089-1092.

58. Биография А. А. Маркова // В кн.: Марков А. А. Избранные труды. Теория чисел. Теория вероятностей. Под ред. Ю. В. Линника. ≈ М.: Изд-во АН СССР, 1951. С. 599-613.

    1952

59. О неразрешимых алгорифмических проблемах // Матем. сб. Новая сер. ≈1952.≈Т. 31, ╧ 1. ≈С. 34-42.

60. Выступление в дискуссии по докладу Б. Н. Делоне ╚Пути развития алгебры╩на Всесоюзном совещании по алгебре и теории чисел, Москва, 1951 // Успехи матем. наук. ≈ 1952. ≈Т. 7, ╧ 3. ≈С. 170-173.

61. Теория алгорифмов // В кн.: Az Elso Magyar matematikai kongresszus kozlemenyei, Budapest, 1950. ≈ Budapest: Akademiai Kiado, 1950. C. 191-203.

    1953

62. Непрерывность конструктивных функций // В сб.: Научная сессия ЛГУ 1952-1953 г. Тезисы докладов по секции математических наук. ≈ Л., 1953. С. 22.

    1954

63. Теория алгорифмов // Тр. Матем. ин-та им. В. А. Стеклова. ≈ 1954. ≈ Т. 42. ≈С. 3-375.

64. О непрерывности конструктивных функций // Успехи матем. наук. ≈ 1954.≈Т. 9, ╧ 3. ≈С. 226-229.

65. Логика математическая // В кн.: Большая Советская энциклопедия. 2-е изд. Т. 25. ≈ М.: Сов. энциклопедия, 1954. С. 338-341.

    1956

66. Об одном принципе конструктивной математической логики // В кн.: Труды III Всесоюзного математического съезда, Москва, 1956. Т. 2. ≈ М.: Изд-во АН СССР. С. 146-147.

67. О преобразованиях, не распространяющих искажения // Машинописная рукопись. 44 с. [В открытой печати не публиковалась.]

    1957

68. Математическая логика и вычислительная математика // Вести. АН СССР. ≈1957.≈Т. 27, ╧ 8. ≈С. 21-25.

69. Об инверсионной сложности систем функций // ДАН СССР. ≈ 1957.≈Т. 116, ╧6. ≈С. 917-919.

70. Об инверсионной сложности системы функций // Тезисы докладов на Всесоюзном совещании по теории устройств релейного действия в Москве. ≈М.: Изд-во АН СССР, 1957. С. 32.

71. О минимальных контактно-вентильных схемах, реализующих монотонные симметрические функции // Тезисы докладов на Всесоюзном совещании по теории устройств релейного действия в Москве. ≈ М.: Изд-во АН СССР, 1957. С. 13-15.

    1958

72. Неразрешимость проблемы гомеоморфии // Успехи матем. наук.≈ 1958.≈Т. 13, ╧4. ≈С. 213-216.

73. Неразрешимость проблемы гомеоморфии // ДАН СССР. ≈ 1958. ≈ Т. 121, ╧2. ≈С. 218-220.

74. О неразрешимости некоторых проблем топологии // ДАН СССР. ≈ 1958. ≈Т. 123, ╧ 6. ≈С. 978-980.

75. Неразрешимость проблемы гомеоморфии. Препринт Матем. ин-та им. В. А. Стеклова. ≈М.: Изд-во ИТМ и ВТ АН СССР, 1958. 11 с.

76. Об однотактных диодных схемах для сложения и вычитания по модулю п // Машинописная рукопись. 52 с. [В открытой печати не публиковалась.]

77. On the inversion complexity of a system of functions // J. Assoc. Comput. Machinery. ≈ 1958. ≈ V. 5, ╧ 4. ≈ P. 331-334.

78. О конструктивных функциях // Тр. Матем. ин-та им. В. А. Стеклова. ≈ 1958. ≈Т. 52. ≈ С. 315-348.

79. К проблеме представимости матриц // Z. math. Logik und Grundl. Math. ≈1958. ≈Bd. 4, ╧ 2. ≈S. 157-168.

    1959

80. Принципы конструктивного направления в математике и теория алгорифмов: Обзорный доклад // В сб.: I Межвузовская конференция по конструктивной теории функций: Тезисы докладов. ≈ Л., 1959. С. 70-71.

    1960

81. Неразрешимость проблемы гомеоморфии // In: Proceedings of the International Congress of Mathematicians, Edinburgh, 1958. Ed. by J. A. Todd. Cambridge: University Press, I960. P. 300-306.

82. Об одной неудавшейся попытке популяризировать математическую логику. (О брошюре А. И. Попова ╚Введение в математическую логику╩) // Успехи матем. наук. ≈ 1960.≈ Т. 15, ╧ 6.≈ С. 215-221. (Совм. с П. С. Новиковым и С. А. Яновской.)

    1962

83. О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций // Пробл. кибернетики. ≈ 1962. ≈ Т. 8.≈ С. 117-121.

84. О вычислимых инвариантах // ДАН СССР. ≈ 1962. ≈ Т. 146, ╧ 5. ≈ С. 1017-1020.

85. О конструктивной математике // Тр. Матем. ин-та им. В. А. Стекло-ва. ≈ 1962. ≈ Т. 67. ≈ С. 8-14.

86. Sur les invariants calculables // Ann. Fac. sci. Univ. Clermont. ≈ 1962. ≈ V. 7. ≈ P. 117-120. [Actes du Colloque de mathematiques reuni a Clermont a 1'occasion du tricentenaire de la mort de Blaise Pascal.]

    1963

87. Об инверсионной сложности системы булевых функций // ДАН СССР. ≈1963.≈Т. 150, ╧ 3. ≈ С. 477-479.

88. О некоторых алгорифмах, связанных с системами слов // Изв. АН СССР. Сер. матем. ≈1963. ≈Т. 27, ╧ 1.≈ С. 101-160.

89. О неотличимости по инвариантам в теории ассоциативных исчислений // Изв. АН СССР. Сер. матем. ≈ 1963. ≈Т. 27, ╧ 4. ≈С. 907-936.

    1964

90. О нормальных алгорифмах, вычисляющих булевы функции // ДАН СССР. ≈1964. ≈Т. 157, ╧ 2. ≈С. 262-264.

91. Что такое кибернетика? // В кн.: Кибернетика, мышление, жизнь. ≈ М.: Мысль, 1964. С. 39-52.

92. Об отношении физических законов к биологическим // В сб.: О сущности жизни. Под ред. Г. М. Франка и др. ≈ М.: Наука, 1964. С. 168-169.

93. Конструктивное направление (в математике и логике) // В кн.: Философская энциклопедия. Т. 3. ≈ М.: Сов. энциклопедия, 1964. С. 50-51.

    1965

94. Комментарии // В кн.: Гейтинг А. Интуиционизм. Введение. Пер. с англ. Под ред. и с коммент. А. А. Маркова. ≈ М: Мир, 1965. С. 161-195.

    1966

95. On algorithms connected with the computation of Boolean functions // In: Information Processing, 1965. Proceedings of IFIP Congress, New York City, 1965. Ed. by W. A. Kalenich. Vol. 2. ≈Washington: Spartan Books, 1966. P. 499.

96. On lower degrees of constructive mathematical logic // М.: ВЦ АН СССР, 1966. 11 с.

97. Нижние ступени конструктивной математической логики // В сб.: Тезисы кратких научных сообщений Международного конгресса математиков, Москва, 1966. Секция 1. ≈М., 1966. С. 20.

    1967

98. О нормальных алгорифмах, связанных с вычислением булевых функций // Изв. АН СССР. Сер. матем. ≈ 1967. ≈ Т. 31, ╧ 1. ≈С. 161-208.

99. Об одном языке для описания работы вычислительных машин // Пробл. кибернетики. ≈ 1967. ≈Т. 19. ≈ С. 5-38. (Совм. с Н. М. Нагорным.)

100. An approach to constructive mathematical logic. ≈ М.: ВЦ АН СССР, 1967. 15 с.

     1968

101. An approach to constructive mathematical logic // In: Logic, Methodology and Philosophy of Science III. Proceedings of the 3rd International Congress, Amsterdam, 196/. Ed. by B. van Rootselaar and J. F. Staal. ≈ Amsterdam: North-Holland, 1968. P. 283-294.

     1970

102. О логике конструктивной математики // Вести. Моск. ун-та. Сер. 1. Математика. Механика. ≈ 1970.≈ Т. 25, ╧ 2.≈ С. 7-29.

     1971

103. Essai de construction d'une logique de la mathematique constructive // Rev. internat. philos. ≈ 1971. ≈ V. 25, ╧ 4. ≈P. 477-507.

104. О логике конструктивной математики // В сб.: Материалы межинститутского симпозиума-школы ╚Основания математики╩. ≈ Обнинск, 1971. 23 с. [Центр, бюро философских (методологических) семинаров АН СССР, Матем. ин-т АН СССР.]

     1972

105. О логике конструктивной математики.≈М.: Знание, 1972. 47 с. (Новое в жизни, науке, технике. Сер. Математика, кибернетика; Вып. 8.)

     1973

106. Об одном подходе к описанию работы вычислительных машин. Ц Машинописная рукопись. М., 1973. 12 с. [Текст доклада на Международном симпозиуме ╚Mathematical Foundations of Computer Science╩, 1973.] (Совм. с Н. М. Нагорным.)

     1974

107. О языке Я0 // ДАН СССР. ≈ 1974. ≈ Т. 214, ╧ 1. ≈ С. 40-43.

108. О языке Я, // ДАН СССР. ≈ 1974. ≈ Т. 214, ╧ 2. ≈ С. 279-282.

109. О языке Я2 // ДАН СССР. ≈1974. ≈Т. 214, ╧ 3. ≈С. 513-516.

110. О языке Я3 // ДАН СССР. ≈ 1974. ≈ Т. 214, ╧ 4. ≈ С. 765-768.

111. О языках Я4,Я5,... // ДАН СССР. ≈ 1974. ≈ Т. 214, ╧ 5.≈ С. 1031-1034.

112. О языке Яы // ДАН СССР. ≈ 1974.≈ Т. 214, ╧6. ≈ С. 1262-1264.

113. О языке Яш // ДАН СССР. ≈ 1974. ≈ Т. 215, ╧ 1. ≈ С. 57-60.

     ИЗ. О полноте классического исчисления предикатов в конструктивной математической логике // ДАН СССР. ≈ 1974. ≈ Т. 215, ╧ 2. ≈ С. 266-269.

     1976

114. Попытка построения логики конструктивной математики // В сб.: Исследования по теории алгорифмов и математической логике. Под ред. А. А. Маркова и Б. А. Кушнера. Т. 2. ≈ М.: ВЦ АН СССР, 1976. С. 3-31.

     1977

115. On semantical language hierarchy in a constructive mathematical logic // Proc. 5-th Int. Congr. Logic, Metodol. and Philos. of Sci. Univ. Western Ontario Ser. Philos. Sci. Vol. 9. ≈Reidel, Dordrecht, 1977.

     1984

116. Элементы математической логики. ≈ М.: Изд-во Моск. ун-та, 1984. 79с.

117. Теория алгорифмов. ≈ М.: Наука, 1984. 432 с. (Совм. с Н. М. Нагорным.)

     1987

118. Что такое конструктивная математика? Введение. [Публикация и предисловие Н. М. Нагорного.] // В кн.: Закономерности развития современной математики: Методологические аспекты. Отв. ред. М. И. Панов. ≈ М.: Наука, 1987. С. 209-212.

     1988

119. The Theory of Algorithms. ≈ Dordrecht etc.: Kluwer Acad. Publs. 369 p. (Math, and its Applies. Soviet series, 23.) (Совм. с Н. М. Нагорным.)

     1996

120. Теория алгорифмов. 2-е изд., испр. и доп.≈М.: ФАЗИС, 1996. XLVIII+ 448 с. (Совм. с Н. М. Нагорным.)

     2002

121. Избранные труды. Т.I. (под редакцией Н.М.Нагорного). M.: Изд-во МЦНМО, 2002.-LVIII +478c.