Doklady Akademii naukIssue 6Denial of the Le Barse conjecture on the law of zero or one for existential monadic formulas
views: 1941
Readers community rating: votes 0
1. Zhukovskij M.E., Rajgorodskij A.M. // Uspekhi matematicheskikh nauk. 2015. T. 70. N. 1. S. 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. Vereschagin N.K., Shen' A. Yazyki i ischisleniya. M: MNTsMO, 2000.
5. Zhukovskij M.E., Sanchez M.G. // DAN. 2017. T. 477. N. 5. S. 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. Glebskij Yu.V., Kogan D.I., Legon'kij M.I., Talanov V.A. // Kibernetika. 1969. T. 2. S. 17–27.
9. Fagin R. // J. Symbolic Logic. 1976. V. 41. P. 50–58.
10. Zhukovskij M. E., Medvedeva A. E. // Matem. zametki. 2016. T. 99. N. 3. S. 342–349.
11. Zhukovskij M.E., Ostrovskij L. B. // Izv. RAN. Ser. matem. 2017. T. 81, N. 6. S. 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.
