jdh.hamkins.org
Hierarchy of second-order set theories
Visit the post for more.