J. Baldwin's Math 503 HomePage

  Welcome to the homepage for Prof. John Baldwin's Spring 98 course: 
         Math 503: MetaMathematics II              
 Meeting at 1PM M  WF, in 2xx Taft Hall         
 (UIC call no.=62131)  Instructor:   John T. Baldwin  Office:     
  417 SEO  Office hours: 10 am MF  11 AM W (tentative)  
Phone:        (312) 413-2149   (fax 996-1491)  Email:        
jbaldwin@math.uic.edu  

Click on the title to move to any of the following topics.

Text: Ebbinghaus, Flum, and Thomas: Mathematical Logic

Supplement: Enderton: A Mathematical Introduction to Logic

Distributed papers by Bouscaren and Ziegler
Homework assignments will be due weekly for the first part of the semester.

Open Problems in FMT

Bibliography of Nonstandardanalysis

Problem Set 1

Problem Set 2

Problem Set 3

Problem Set 4

Problem Set 5

Problem Set 6

Problem Set 7

Problem Set 8

Problem Set 9