Copyright c©1998–2000 by Stephen G. Simpson Mathematical Logic Stephen G. Simpson November 16, 2000 Department of Mathematics The Pennsylvania State University University…