Meshulam's Theorem on Three-Term Arithmetic Progressions Combinatorics Monotonicity and Transitivity of the Cumulative Hierarchy Logic Transfinite Recursion Theorem for Ordinals Logic Energy Sumset Inequality Combinatorics Standard Young Tableaux as the Leading Term of Schur Specializations Combinatorics Finite Field Construction of Mutually Orthogonal Latin Squares Combinatorics Basic Type-Counting Criterion for Stability Logic Skew Schur Function Expansion in the Schur Basis Combinatorics Discrete Mathematics Area Combinatorics Subarea