Denial of the Le Barse conjecture on the law of zero or one for existential monadic formulas

 
PIIS086956520003600-3-1
DOI10.31857/S086956520003600-3
Publication type Article
Status Published
Authors
Affiliation: Moscow Institute of Physics and Technology
Address: Russian Federation,
Affiliation: Moscow Institute of Physics and Technology
Address: Russian Federation
Journal nameDoklady Akademii nauk
EditionVolume 483 Issue 6
Pages606-608
Abstract

  

Keywords
Received26.12.2018
Publication date26.12.2018
Cite   Download pdf To download PDF you should sign in
Размещенный ниже текст является ознакомительной версией и может не соответствовать печатной

views: 1772

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.

Система Orphus

Loading...
Up