Many-One Completeness of the Turing Jump for Relatively C.E. Sets Logic Parameter Equations for a $2$-Design Combinatorics Morley's Unstable Theories Have Multiple Uncountable Models Theorem Logic Models Generated by Bases in Strongly Minimal Theories Logic Gentzen's Cut-Elimination Theorem for LK Logic Nondeterministic and Deterministic Automata Are Equivalent Discrete Mathematics Fundamental Theorem of Symmetric Functions Combinatorics Littlewood-Richardson Rule Combinatorics Discrete Mathematics Area Combinatorics Subarea