A normal form theorem for Lω1p, with applications
Keyword(s):
AbstractWe 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.
Keyword(s):
Keyword(s):
1977 ◽
Vol 67
(2)
◽
pp. 215-215
◽
Keyword(s):
Keyword(s):
2019 ◽
Vol 375
(3)
◽
pp. 2089-2153
◽
Keyword(s):
2018 ◽
Vol 12
(3)
◽
pp. 363-424
Keyword(s):
2007 ◽
Vol 17
(05n06)
◽
pp. 951-961
◽