An important program in set theory is the search for axioms which are strong enough to settle natural questions about the low levels of the set-theoretic universe. I will survey the state of this program. The situation for P(omega) is much better understood than that for P(omega_1),