source of the following is http://www.personal.psu.edu/t20/
foundations_of_math___stephen_g_simpson_2009_45700.pdf