An Independence Property for General Information
نویسندگان
چکیده
منابع مشابه
An Information Flow Security Property for CCS
Multilevel security has been introduced to limit the activity of Trojan Horses – malicious programs which try to broadcast secret information. Every information is classified with a security level and the multilevel secure system must guarantee that information cannot flow from a level to a lower one. So a Trojan Horse, which operates at a certain level, has no way to downgrade information and ...
متن کاملTheories with the Independence Property
A first-order theory T has the Independence Property provided T ⊢ (Q)(Φ ⇒ Φ1 ∨ · · · ∨ Φn) implies T ⊢ (Q)(Φ ⇒ Φi) for some i whenever Φ,Φ1, . . . ,Φn are formulae of a suitable type and (Q) is any quantifier sequence. Variants of this property have been noticed for some time in logic programming and in linear programming. We show that a first order theory has the independence property for the ...
متن کاملIndependence Property and Hyperbolic Groups
In continuation of [JOH04, OH07], we prove that existentially closed CSA-groups have the independence property. This is done by showing that there exist words having the independence property relative to the class of torsion-free hyperbolic groups.
متن کاملIndependence for decomposable information measures
We deal with information measures and we introduce a suitable notion of conditional independence by studying the main properties.
متن کاملOn !-independence and the Kunen-shelah Property
We prove that spaces with an uncountable ω-independent family fail the Kunen-Shelah property. Actually, if {xi}i∈I is an uncountable ω-independent family, there exists an uncountable subset J ⊂ I such that xj / ∈ conv ({xi}i∈J\{j}) for every j ∈ J . This improves a previous result due to Sersouri, namely that every uncountable ω-independent family contains a convex right-separated subfamily.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Natural Science
سال: 2016
ISSN: 2150-4091,2150-4105
DOI: 10.4236/ns.2016.82008