Filter quantifier
In mathematics, a filter on a set formula_1 informally gives a notion of which subsets formula_2 are "large". Filter quantifiers are a type of logical quantifier which, informally, say whether or not a statement is true for "most" elements of formula_1. Such quantifiers are often used in combinatorics, model theory (such as when dealing with ultraproducts), and in other fields of mathematical logic where (ultra)filters are used.
Q1052692
filter
Concept
Q177646
subsets
Concept
Q76592
combinatorics
Concept
Q467606
model theory
Concept
Q1535225
ultraproduct
UNK
Q1166618
mathematical logic
Concept
Q97359288
Filter quantifier
UNK
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
+2^^http://www.w3.org/2001/XMLSchema#decimal
2
NUMBER
+1^^http://www.w3.org/2001/XMLSchema#decimal
1
NUMBER
subclass of