The probability of a property on the collection of all finite relational structures is the limit as n —-oc of the fraction of structures with n elements satisfying the property, provided the limit exists. It is known 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 second-order logic in which we restrict the patterns of first-order quantifiers. We focus on fragments in which the first-order part belongs to a prefix class. We show that the classifications of prefix classes of first-order logic with equality according to the solvability of the finite satisfiability problem and according to the 0-1 law for the corresponding El fragments are identical, but the classifications are different without equality.
CITATION STYLE
Kolaitis, P. G., & Vardi, M. Y. (2000). 0-1 Laws for fragments of existential second-order logic: A survey. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1893, pp. 84–98). Springer Verlag. https://doi.org/10.1007/3-540-44612-5_6
Mendeley helps you to discover research relevant for your work.