Ring Definition Freiman-Ruzsa Theorem for Torsion-Free Abelian Groups Combinatorics Chomsky Normal Form Theorem Discrete Mathematics Finite Field Construction of Mutually Orthogonal Latin Squares Combinatorics Representability of Primitive Recursive Functions in Peano Arithmetic Logic Stone-Tukey Theorem Combinatorics Lovász Extension Convexity Criterion Combinatorics Equivalence of Double Negation Elimination and Proof by Contradiction Logic Asymmetric Plünnecke Inequality Combinatorics Discrete Mathematics Area Combinatorics Subarea