Assignments for 21-700 Mathematical Logic II

Assignments for 21-700 Mathematical Logic II Spring 2005

A. X5100. Due Monday, Jan. 24

E1. X5209 in ETPS. Due Friday Feb. 4

Present assigned parts of proof of 5402 in class.

E2. X5201 in ETPS. Due Wed. Feb. 9

B. X5401, X5402 Due Friday, Feb. 11

E3. X5203 in ETPS. Due Monday Feb. 14

E4. X5205 in ETPS. Due Wed. Feb. 16

E5. X5303 in ETPS. Due Friday Feb. 18

T1. Test on sections 50-54. Wednesday, Feb. 23

E6. X5305 in ETPS. Due Monday, Feb. 28

E. X5502. Due Wed., Mar. 16

E7. X5308 in ETPS. Due Friday, Mar. 18

E9. X6004 in ETPS. Due Wed., Mar. 23

F. X5503. Due Friday, Mar. 25

E10. X6101 in ETPS. Due Wed., Mar. 30

H. X6202. Due Friday, April 1

I. X6414 Due Monday, April 4

E8. X5310 in ETPS. Due Wed., April 6

D. Derive (2) from (1), (3), and (4) in the definition of isomorphism on page 245. Due Friday, April 8

T2. Test on sections 54-64 Wednesday, April 13

G. X6008. Due Wed., April 20

C. X5405 Due Monday, April 25

E11. X6201 in ETPS. Due Wed., April 27

J. X7105 Due Friday, April 29

----------------------------------------------------

T3. FINAL EXAM Tuesday, May 10, 1:00-4:00 p.m. in DH 1209 on Chapters 5, 6, and 7 through 7303 and 7200A, omitting proofs of 6211-6213, p. 283, proofs in section 65, proof of 7203, p. 331.

Usual Office Hours MWF 2:00 - 4:00

Web site from which the ETPS User's Manual can be downloaded http://gtps.math.cmu.edu/tps-mans.html