Finite and Infinite Combinatorics in Sets and Logic