Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

At the references section of the wikipedia article for Definable set, one finds the following entry:

Slaman, Theodore A. and W. Hugh Woodin. Mathematical Logic: The Berkeley Undergraduate Course. Spring 2006.

What kind of material is it? Manuscripted lecture notes? Is it available somehow? I'm highly curious about its content.

share|improve this question

1 Answer 1

up vote 3 down vote accepted

The version of the notes I have is from 2006, they are organized in the form of a short book. It is my understanding they have been updated since, and I believe the current version has new material on model theory, computability, and incompleteness. In particular, I think that Woodin's proof of the second incompleteness theorem for set theory, that I have covered elsewhere, is discussed there.

I think that the notes are distributed to the students at Berkeley that take the course, usually taught by Ted or Hugh, but I do not know whether they plan to publish them, and I am not sure they want to disseminate them otherwise.

The table of contents of the version I have is as follows:

  • Propositional logic
  • First order logic: syntax
  • First order logic: semantics
  • The logic of first order structures
  • Gödel's Completeness Theorem
  • The Compactness Theorem
  • More on the logic of structures

To give an idea of the content, the languages that are discussed are finite (or recursive), and set theoretical prerequisites are kept at a minimum. This simplifies the discussion of some key results (such as compactness or the Löwenheim-Skolem theorems). Besides what I have already mentioned, topics covered include elimination of quantifiers, model completeness, Presburger arithmetic, and a study of definability for particular structures.

I would expect that contacting Ted or Hugh directly is the best way to obtain a copy of the notes.

share|improve this answer
It looks like it is that study of definability what motivated its inclusion among the references for the article I mentioned in my question. Thank you very much. –  Marc Alcobé García Mar 12 '11 at 12:50

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.