A normal form theorem for Lω1p, with applications
From MaRDI portal
Publication:3960825
DOI10.2307/2273591zbMath0496.03017MaRDI QIDQ3960825
Publication date: 1982
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2273591
law of large numbers; interpolation theorem; exchangeable distributions; completeness theorem for complete theories; countable infinitary probability logic; distributions of exchangeably dissociated arrays of random variables; one-quantifier sentences
Related Items
Cites Work