Math 116a
 
Math, Logic and Axiomatic Set Theory
Fall 2007-08
 
TR 1:00 pm // 151 Sloan
Course Description | Policies | Textbooks | Lecture Notes | Handouts | Homework | Math Courses

Instructor: Alexander Kechris, 386 Sloan, 395-4368, kechris@caltech.edu
Office Hours: By appointment
Grader: Todor Tsankov, 260 Sloan, 395-4340, todor@caltech.edu
Office Hours: Monday 3 - 4 p.m.

Feedback Form
Announcements
 

Todor Tsankov will not have office hours on Monday, December 3. Instead Dr. Kechris will have office hours on Tuesday, December 4, from 2:45 to 4:00.


Course Description
 

Math 116 is a three-term course providing an introduction to the basic concepts and results of mathematical logic and set theory. It requires no essential prerequisites, except familiarity with somewhat abstract mathematical reasoning, at the level of a course like Math 5.

The Fall term will be devoted to study of first order logic and model theory. We will also discuss applications to algebra and other areas of mathematics.

Policies
 

Grade: The grade for this course will be based on the homework assignments.

Homework Policy: In each homework there will be one starred problem on which no collaboration is allowed. For the other problems, collaboration is allowed but you should write up your own solutions. You cannot look up solutions to the problems from any source. No late submissions are allowed except for medical problems (note needed from the health center) or serious personal difficulties (note needed from the Dean's Office).

Textbooks
 

  • Model Theory: An Introduction, David Marker, ISBN: 0387987606
  • Other reference
    A First Course in Logic, Shawn Hedman, ISBN 0198529805
     

Lecture Notes
 

Date Description
   
   
   

Exercises
 

Date Description
   
   
   
   
   
   
   
   
   
   
   
   

Homework
 

Due Date Homework  Solutions
Oct. 16 @ 1:00pm Homework #1 Homework 1
Oct. 23 @ 1:00pm Homework #2 Homework 2
Oct. 30 @ 1:00pm Homework #3 Homework 3
Nov 6 @ 1:00pm Homework #4 Homework #4
Nov 13 @ 1:00pm Homework #5 Homework #5
Nov 20 @ 1:00pm Homework #6 Homework #6
Nov 27 @ 1:00pm Homework #7 Homework #7
Dec 6 @ 1:00 pm Homework #8 Homework #8


 Last update: Friday, November 30, 2007 | © California Institute of Technology | Questions?  scroomes @ caltech.edu