The relationship between various filter notions on a \(GL\)-monoid (Q1283020)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The relationship between various filter notions on a \(GL\)-monoid |
scientific article |
Statements
The relationship between various filter notions on a \(GL\)-monoid (English)
0 references
13 April 1999
0 references
The authors' summary: ``The notion of a generalized filter is extended to the setting of a \(GL\)-monoid. It is shown that there exists a one-to-one correspondence between the collection of generalized filters on a set \(X\) and the collection of strongly stratified \(L\)-filters on \(X\). Specializing to the case where \(L\) is the closed interval \([0,c]\) viewed as a Heyting algebra, we show that any strongly stratified \([0,c]\)-filter on \(X\) can be uniquely identified with a saturated filter on \(I^X\) with characteristic value \(c\). In this way, the notion of a generalized filter unifies various filter notions. In particular, necessity measures and finitely additive probability measures are specific examples of generalized filters''.
0 references
stratified prefilter
0 references
necessity measure
0 references
probability measure
0 references
generalized filter
0 references