Regular Pumping Lemma Discrete Mathematics Admissibility of Existential Elimination Under the Eigenvariable Condition Logic Downward Löwenheim-Skolem Theorem for Countable Elementary Submodels of $H_\theta$ Logic Equinumerosity Is an Equivalence Relation Logic Chomsky's Theorem Discrete Mathematics Closure Properties of $H_\theta$ Under Pairing, Union, and Function Evaluation Logic Truth Lemma for Henkin Term Models Logic Equivalence of Natural Deduction and Gentzen Sequent Calculi for Propositional Logic Logic Discrete Mathematics Area