Article contents
A normal form theorem for Lω1p, with applications
Published online by Cambridge University Press: 12 March 2014
Abstract
We show that every formula of Lω1P is equivalent to one which is a propositional combination of formulas with only one quantifier. It follows that the complete theory of a probability model is determined by the distribution of a family of random variables induced by the model. We characterize the class of distribution which can arise in such a way. We use these results together with a form of de Finetti’s theorem to prove an almost sure interpolation theorem for Lω1P.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1982
References
REFERENCES
- 10
- Cited by