Difference Set Parameter Equation Combinatorics Stability Hierarchy for Countable Theories Logic Gödel's Theorem that $L$ Satisfies GCH Logic Integrality Theorem for Minimum-Cost Flows Combinatorics Wilson's Existence Theorem for Pairwise Balanced Designs Combinatorics Low Basis Theorem Logic Elementary Invariance of Strong Minimality Logic Chomsky's Theorem Discrete Mathematics Discrete Mathematics Area Combinatorics Subarea