Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang Sentences
Vedo, Anne
J. Symbolic Logic, Tome 62 (1997) no. 1, p. 304-319 / Harvested from Project Euclid
We show that the 0-1 law does not hold for the class $\Sigma^1_1 (\forall\exists\forall \text{without} =)$ by finding a sentence in this class which almost surely expresses parity. We also show that every recursive real in the unit interval is the asymptotic probability of a sentence in this class. This expands a result by Lidia Tendera, who in 1994 proved that every rational number in the unit interval is the asymptotic probability of a sentence in the class $\Sigma^1_1 \forall\exists\forall$ with equality.
Publié le : 1997-03-14
Classification: 
@article{1183745196,
     author = {Vedo, Anne},
     title = {Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang Sentences},
     journal = {J. Symbolic Logic},
     volume = {62},
     number = {1},
     year = {1997},
     pages = { 304-319},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183745196}
}
Vedo, Anne. Asymptotic Probabilities for Second-Order Existential Kahr-Moore-Wang Sentences. J. Symbolic Logic, Tome 62 (1997) no. 1, pp.  304-319. http://gdmltest.u-ga.fr/item/1183745196/