Induction on Derivation Height Logic Basic Closure and Characterisation Discrete Mathematics Ordinal Trichotomy Logic Standard Young Tableaux as the Leading Term of Schur Specializations Combinatorics Dyadic Popular Sums Lemma Combinatorics Deletion-Contraction Recurrence for the Tutte Polynomial Discrete Mathematics Existence of the Rank Function Logic Rank Axioms Characterize Matroid Independent Sets Discrete Mathematics Discrete Mathematics Area