*Fall 2008*

*Lectures:* TuTh 1230-2pm, Room *3 Evans*

*Instructor:* Jan Reimann

*Office:* 705 Evans Hall

*Office hours:* Tu 4-5, We 10-12 and by appointment

*Email:*

*Personal Website:* http://math.berkeley.edu/~reimann/

*Course webpage:* This site is mainly for documetary purposes. The course material (homework, sample exams, etc.) will be posted on *bSpace*. The course site will also has a chat room. I encourage you to make use of it. Go to http://bspace.berkeley.edu and log on with your Calnet ID. Then select the tab "*MATH 125A Fa08*".

Propositional logic; predicate logic, syntax of first order logic, semantics, structures, satisfaction relation; logic of first order structures, substructures and elementary substructures, definable sets, example: dense linear orders; the Loewenheim-Skolem-Theorem; Goedel Completeness Theorem, Henkin constructions; the Compactness Theorem, types; quantifier elimination, examples: dense linear orders, real closed fields; incompleteness, Goedel's Theorems

We will use lecture notes by Slaman and Woodin. These are provided on the bSpace site for the course.

*Supplementary reading.* There are many introductory logic texts. Two frequently used ones are *Enderton's A Mathematical Introduction to Logic*, and *Mathematical Logic by Ebbinghaus, Flum, and Thomas*. Both are good texts, and I certainly recommend looking at them if you want a different angle on some material of the course. If you want to delve deeper into the many aspects of mathematical logic, take a look at *Shoenfield's Mathematical Logic*. This is quite an old book, and aimed rather at the graduate level, but there are still few texts that can keep up with this classic.

There will be *one midterm* in class: *Thursday, Oct 16*.
If you miss the midterm with a valid excuse, your score in the final exam will count for 75% of the grade. There will be *no makeup exams*.

The final exam is held on *Friday, December 19, 1230-330pm*, room TBA

All exams will be *closed book exams*. *No cheat sheets!* Bring blue books.

Homework will be assigned on Thursday and will be *due on the
following Thursday* in class. Homework will be graded and the
two lowest scores will be dropped. Late homework will not be accepted. There will be *no exception* to this rule. Of course it may happen that you cannot turn in homework because you were ill or for some other valid reason. This is why the two lowest scores will be dropped.

A note on *academic honesty*: Collaboration among
students to solve homework assignments is welcome. This is a good way
to learn mathematics. So is the consultation of other sources such as
other textbooks. However, *every student has to hand in an own set
of solutions*, and if you use other people's work or ideas you
*should indicate the source in your solutions*.

(In any
case, complete and correct homework receives full credit.)

The final grade will be determined as follows: * 25% homework, 25% midterm, 50% final exam*.