Due Tuesday March 18 at 1pm.

## Archive for the ‘Homework’ Category

### 116b- Homework 9

March 11, 2008### 116b- Homework 8

March 5, 2008Due Tuesday March 11 **at the beginning of lecture**.

**Important update:** In problem 4.(a), recall that is a universal predicate for unary formulas, so if is the Gödel number of a formula in one free variable , then holds iff holds. Hence, asking that is finite is the same as asking that is finite. Actually, this is a serious typo:

is -complete. The set is -complete.

Sorry about this. Either ignore 4.(a), or try to show (for extra credit) that the set is -complete, or (for a much more challenging problem) that the corresponding set with “cofinite” is -complete.

### 116b- Homework 7

February 25, 2008Due Tuesday March 4 at the beginning of lecture.

### 116b- Homework 6

February 20, 2008Due Tuesday February 26 at the beginning of lecture.

### 116b- Homework 5

February 13, 2008Due Tuesday February 19 at the beginning of lecture.

### 116b- Homework 4

February 4, 2008Due Tuesday February 12 at the beginning of lecture.

### 116b- Homework 3

January 29, 2008Due Tuesday February 5 at the beginning of lecture.

### 116b- Homework 2

January 22, 2008Due Tuesday January 29 at the beginning of lecture.

**Update:** There is a typo in problem 2, it must be .

### 116b- Homework 1

January 15, 2008Due Tuesday January 22 at the beginning of lecture.