𝔖 Bobbio Scriptorium
✦   LIBER   ✦

ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS

✍ Scribed by Radosav S. Đorđević

Publisher
John Wiley and Sons
Year
1992
Tongue
English
Weight
305 KB
Volume
38
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis

Abstract

Hoover [2] proved a completeness theorem for the logic L(∫)𝒜. The aim of this paper is to prove a similar completeness theorem with respect to product measurable biprobability models for a logic L(∫~1~, ∫~2~) with two integral operators. We prove: If T is a ∑~1~ definable theory on 𝒜 (a countable admissible set and ω ∈) and consistent with the axioms of L(∫~1~, ∫~2~), then there is an analytic absolutely continuous biprobability model in which every sentence in T is satified.

📜 SIMILAR VOLUMES

Analytic completeness theorem for singul
Analytic completeness theorem for singular biprobability models
✍ Radosav S. Đordević 📂 Article 📅 1993 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract The aim of the paper is to prove tha analytic completeness theorem for a logic __L__(∫~1~, ∫~2~)~A~^s^ with two integral operators in the singular case. The case of absolute continuity was proved in [4]. MSC: 03B48, 03C70.