𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Completeness theorem for topological class models

✍ Scribed by Radosav Djordjevic; Nebojša Ikodinović; Žarko Mijajlović

Publisher
Springer
Year
2006
Tongue
English
Weight
143 KB
Volume
46
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 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.

ANALYTIC COMPLETENESS THEOREM FOR ABSOLU
ANALYTIC COMPLETENESS THEOREM FOR ABSOLUTELY CONTINUOUS BIPROBABILITY MODELS
✍ Radosav S. Đorđević 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 305 KB

## 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