Cofinality Is a Cardinal Logic Admissibility of Modus Tollens Logic Closure Properties of $H_\theta$ Under Pairing, Union, and Function Evaluation Logic The Emptiness Problem for Regular Grammars Is Solvable Discrete Mathematics Bourgain-Katz-Tao Sum-Product Theorem over Prime Fields Combinatorics Accessibility Is Decidable Discrete Mathematics Cardinal Order Is a Partial Order Logic Rice's Theorem Discrete Mathematics Discrete Mathematics Area