The relationship between various filter notions on a \(GL\)-monoid (Q1283020)

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