Page history
Jump to navigation
Jump to search
9 September 2023
8 September 2023
7 September 2023
C7X
no edit summary
+29
RhubarbJayde
no edit summary
−18
RhubarbJayde
Created page with "A filter is a particular notion used to define ultraproducts/ultrapowers and various large cardinals above measurable cardinals, although they also have some relation to indescribable and greatly Mahlo cardinals. Formally, a filter on a set \(X\) is a collection \(F\) of subsets of \(X\) satisfying the following conditions: * \(X \in F\). * \(\emptyset \notin F\). * If \(A \in F\) and \(B \in F\) then \(A \cap B \in F\). * If \(A..."
+2,690