Доклады Академии наукНомер 6Опровержение гипотезы Ле Барса о законе нуля или единицы для экзистенциальных монадических формул
всего просмотров: 1781
Оценка читателей: голосов 0
1. Жуковский M.E., Райгородский А.М. // Успехи математических наук. 2015. Т. 70. Н. 1. С. 35–88.
2. Janson S., Luczak T., Rucinski A., Random Graphs, NY: Wiley, 2000.
3. Spencer J.H., The Strange Logic of Random Graphs, Springer Verlag, 2001.
4. Верещагин Н.К., Шень А. Языки и исчисления. М: МНЦМО, 2000.
5. Жуковский М.Е., Санчез М.Г. // ДАН. 2017. Т. 477. Н. 5. С. 513–515.
6. Le Bars J.-M. // Information Processing Letters. 2001. V. 77. P. 43–48.
7. Libkin L., Elements of finite model theory, Texts in Theoretical Computer Science. An EATCS Series, Springer Verlag, 2004.
8. Глебский Ю.В., Коган Д.И., Легонький М.И., Таланов В.А. // Кибернетика. 1969. Т. 2. С. 17–27.
9. Fagin R. // J. Symbolic Logic. 1976. V. 41. P. 50–58.
10. Жуковский М. Е., Медведева А. Е. // Матем. заметки. 2016. Т. 99. Н. 3. С. 342–349.
11. Жуковский М.Е., Островский Л. Б. // Изв. РАН. Сер. матем. 2017. Т. 81, Н. 6. С. 100–113.
12. Matushkin A.D., Zhukovskii M.E. // Discrete Applied Mathematics. 2018. V. 236. P. 329–346.
13. Kaufmann M., Shelah S. // Discrete Math. 1985. V. 54. P. 285–293.
14. Kaufmann M., Counterexample to the 0-1 law for existential monadic secondorder logic, Technical Report, CLI Internal Note 32, Computational Logic Inc., December 1987.
