# Sh:1096

- Shelah, S.
*Strong failure of 0-1 law for LFP and the path logics*. Preprint. -
Abstract:

we continue [1062], in two issues. First we introduce a logic, called path logic which seem natural there and try to prove for it the 0-1 law Second, for the random graph G_{n, n^ \alpha} in [1062] we get only a weak failure of the 01 law, the truth value of the sentence is sometimes close to 1 and sometimes close to 0, but it change slowly. Here we intend to prove that tehere is an interpretaion which for a random enough graph give number theory on n, so we can "define n being odd/even" - No downloadable versions available.

Bib entry

@article{Sh:1096, author = {Shelah, Saharon}, title = {{Strong failure of 0-1 law for LFP and the path logics}} }