Counterexamples of the 0-1 law for fragments of existential second-order logic: An overview

Bulletin of Symbolic Logic

Volumn 6, Issue 1, 2000, Pages 67-82

  Le Bars, Jean Marie ^a  

^a UNIVERSITÉ DE CAEN   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0039006461     PISSN: 10798986     EISSN: None     Source Type: Journal    
DOI: 10.2307/421076     Document Type: Review

References (27)

1. B. BOLLOBÁS, Graph theory, an introduction course, Springer-Verlag, 1979.
2. _, Random graphs, Academic Press, 1985.
3. B. BOLLOBÁS and P. ERDÖS, Cliques in random graphs, Mathematical Proceedings of the Cambridge Philosophical Society, vol. 80 (1976), pp. 419-427.
4. V. CHVATAL, On the computational complexity of finding a kernel, Technical report, Report NO CRM-300, 1973, Universite de Montréal, Centre de Recherches Mathématiques.
5. N. CREIGNOU, The class of problems that are linearly equivalent to satisfiability or a uniform method for proving NP-completeness, Theoretical Computer Science, vol. 145 (1995), pp. 111-145.
6. D. DREBEN and W. D. GOLDFARB, The decision problem: Solvable classes of quantificationalformulas, Addison-Wesley, 1979.
7. P. ERDÖS and A. RÉNYI, On the evolution of random graphs, Publ. Math. Inst. Hangar. Acad. Sd., vol. 7 (1960), pp. 17-61.
8. P. ERDÖS and J. SPENCER, Probabilistic method in combinatorics, A Series of Monographs and Textbooks, Academic Press, 1974.
9. R. FAGIN, Generalized first-order spectra and polynomial time recognizable sets, Complexity of computations (R. Karp, editor), SIAM-AMS Proceedings, vol. 7, American Mathematical Society, Providence, RI, 1974, pp. 43-73.
10. _, Probabilities on finite models, The Journal of Symbolic Logic, vol. 41 (1976), pp. 50-58.
11. W. FERNANDEZ DE LA VEGA, Kernel on random graphs, Discrete Mathematics, vol. 82 (1990), pp. 213-217.
12. J. FLUM, Problems infinite model theory collected in Oberwolfach, 1994.
13. YV. GLEBSKII, D.I. KOGAN, M. I. LIOGONKI, and V. A. TALANOV, Range and degree of realizability of formulas in the restricted predicate calculus, Cybernetics, vol. 5 (1969), pp. 142-154.
14. W. D. GOLDFARB, The Gödel class with identity is unsolvable, Bulletin of the American Mathematical Society, vol. 10(1) (January 1984), pp. 113-115.
15. M. KAUFMANN, Counterexample to the 0-1 law for existential monadic second-order logic, Technical report, CLI Internal Note 32, Computational Logic Inc., December 1987, paper available at ftp://ftp.informatik.rwth-aachen.de/pub/FMT/jurek/kaufmann.ps.
16. M. KAUFMANN and S. SHELAH, On random models of finite power and monadic logic, Discrete mathematics, vol. 54 (1985), pp. 285-293.
17. PH. G. KOLAITIS and M.Y. VARDI, The decision problem for the probabilities of higher-order properties, Proceedings of the 19th ACM Symposium on Theory of Computing, STOC'87, 1987, pp. 425-435.
18. _, 0-1 laws and decisions problems for fragments of second-order logic, Information and Computation, vol. 87 (1990), pp. 302-338.
19. _, 0-1 laws for fragments of second-order logic: an overview, Logic from computer science (Proceedings of Workshop, 1989) (Y.N. Moschovakis, editor), 1992, pp. 265-286.
20. J-M. LE BARS, Fragments of existential second-order logic without 0-1 laws, Proceedings of the 13th IEEE Symposium on Logic in Computer Science, 1998.
21. _, Probabilités asymptotiques et pouvoir d'expression des fragments de la logique du second ordre, Ph.D. thesis, University of Caen, 1998.
22. M. MORTIMER, On languages with two variables, Zeischrift für Mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), pp. 135-140.
23. L. PACHOLSKI and W. SZWAST, Asymptotic probabilities of existential second-order Gödel sentences, The Journal of symbolic logic, vol. 56 (1991), pp. 427-438.
24. _, A counterexample to the 0-1 law for the class of existential second-order minimal Gödel sentences with equality, Information and Computation, vol 107 (1993), pp 91-103.
25. E. M. PALMER, Graphical evolution: An introduction to the theory of random graphs Wiley, 1985.
26. L. TENDERA, A note on asymptotic probabilities of existential second-order minimal classes: the last step, Fundamenta Informaticae, vol. 20 (1994), pp. 277-285.
27. A. VEDØ, Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences, The Journal of Symbolic Logic, vol. 62 (March 1997), pp. 304-319.