A normal form theorem for Lω1p, with applications

DOI10.2307/2273591zbMath0496.03017OpenAlexW2343031766MaRDI QIDQ3960825

Douglas N. Hoover

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

zbMATH Keywords

law of large numbersinterpolation theoremexchangeable distributionscompleteness theorem for complete theoriescountable infinitary probability logicdistributions of exchangeably dissociated arrays of random variablesone-quantifier sentences

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Distribution theory (60E99)

Related Items

Mixing and double recurrence in probability groups, Probability logic with conditional expectation

Cites Work

• Unnamed Item
• Uses of exchangeability
• Concerning measures in first order calculi
• Limit theorems for dissociated random variables
• Probability logic