𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A COMPLETENESS THEOREM FOR CORRELATION LATTICES

✍ Scribed by Dietmar Schweigert; Magdalena Szymańska

Publisher
John Wiley and Sons
Year
1983
Tongue
English
Weight
493 KB
Volume
29
Category
Article
ISSN
0044-3050

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.

A splitting theorem for the Medvedev and
A splitting theorem for the Medvedev and Muchnik lattices
✍ Stephen Binns 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 174 KB

## Abstract This is a contribution to the study of the Muchnik and Medvedev lattices of non‐empty Π^0^~1~ subsets of 2^__ω__^. In both these lattices, any non‐minimum element can be split, i. e. it is the non‐trivial join of two other elements. In fact, in the Medvedev case, if__P__ > ~M~ __Q__, th

A Completeness Theorem for Certain Class
A Completeness Theorem for Certain Classes of Recursive Infinitary Formulas
✍ Christopher J. Ash; Julia F. Knight 📂 Article 📅 1994 🏛 John Wiley and Sons 🌐 English ⚖ 494 KB 👁 1 views

## Abstract We consider the following generalization of the notion of a structure recursive relative to a set __X.__ A relational structure __A__ is said to be a Γ(__X__)‐structure if for each relation symbol __R__, the interpretation of __R__ in __A__ is ∑ relative to __X__, where β = Γ(__R__). We

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

Vanishing Theorems for Complete Intersec
Vanishing Theorems for Complete Intersections
✍ Craig Huneke; David A Jorgensen; Roger Wiegand 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 135 KB

The main focus of his paper was to understand when the tensor product M m N of finitely generated modules M and N over a regular local ring R R is torsion-free. This condition forces the vanishing of a certain Tor module associated with M and N, which in turn, by Auslander's famous R Ž . rigidity th