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.


This course will cover an introduction to model theory and nonstandard analysis and models of arithmetic. Useful texts include:

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

Further course handouts will be posted, stay tuned.
Last revised: 5 April 1998 by J. Baldwin