Article contents
Asymptotic probabilities for second-order existential Kahr-Moore-Wang sentences
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that the 0-1 law does not hold for the class (∀∃∀ 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 ∀∃∀ with equality.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1997
References
REFERENCES
- 5
- Cited by