0-1 Laws for Fragments of Existential Second-Order Logic: A Survey

@inproceedings{Kolaitis200001LF,
  title={0-1 Laws for Fragments of Existential Second-Order Logic: A Survey},
  author={Phokion G. Kolaitis and Moshe Y. Vardi},
  booktitle={MFCS},
  year={2000}
}
The probability of a property on the collection of all finite r lational structures is the limit asn ! 1 of the fraction of structures withn elements satisfying the property, provided the limit exists. It is kn own that the 0-1 law holds for every property expressible in first-order logic, i .e., the probability of every such property exists and is either 0 or 1. Moreover, the associated decision problem for the probabilities is solvable. In this survey, we consider fragments of existential… CONTINUE READING

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…