Weak Compactness Implies the Pair Partition Property Set Theory Rasiowa-Sikorski Lemma Set Theory Highest Weight Decomposition of Tensor Products of Type A Tableau Crystals Combinatorics Fibonacci Enumeration of Cd-Monomials Combinatorics Bonds Are Cocircuits of the Cycle Matroid Discrete Mathematics Supercompactness Measure Characterization Set Theory Continuity of Formula Evaluation Functions on Stone Spaces Logic Existence of Kirkman Triple Systems Combinatorics Discrete Mathematics Area Combinatorics Subarea