Lecture 1 17 January 2008 08:58 Lecture notes Page 1 Lecture notes Page 2 Lecture notes Page 3 Lecture notes Page 4 Lecture notes Page 5 Lecture 2 19 January 2008 09:04 Lecture notes Page 6 Lecture notes Page 7 Lecture notes Page 8 Lecture notes Page 9 Lecture notes Page 10 Lecture notes Page 11 Lecture 3 22 January 2008 09:04 Lecture notes Page 12 Lecture notes Page 13 Lecture notes Page 14 Lecture notes Page 15 Lecture notes Page 16 Lecture notes Page 17 Lecture 4 22 January 2008 11:36 Lecture notes Page 18 Lecture notes Page 19 Lecture notes Page 20 Lecture notes Page 21 Lecture notes Page 22 Lecture notes Page 23 Lecture 5 26 January 2008 09:06 Lecture notes Page 24 Lecture notes Page 25 Lecture notes Page 26 Lecture notes Page 27 Lecture notes Page 28 Lecture notes Page 29 Lecture 6 29 January 2008 09:09 Lecture notes Page 30 Lecture notes Page 31 Lecture notes Page 32 Lecture notes Page 33 Lecture notes Page 34 Lecture notes Page 35 Lecture notes Page 36 Lecture 7 31 January 2008 09:06 Lecture notes Page 37 Lecture notes Page 38 Lecture notes Page 39 Lecture notes Page 40 Lecture 8 02 February 2008 09:05 Lecture notes Page 41 Lecture notes Page 42 Lecture notes Page 43 Lecture notes Page 44 Lecture notes Page 45 Lecture notes Page 46 Lecture 9 05 February 2008 09:11 Lecture notes Page 47 Lecture notes Page 48 Lecture notes Page 49 Lecture notes Page 50 Lecture notes Page 51 Lecture 10 05 February 2008 10:33 Lecture notes Page 52 Lecture notes Page 53 Lecture notes Page 54 Lecture notes Page 55 Lecture notes Page 56 Lecture notes Page 57 Lecture 12 12 February 2008 09:05 Lecture notes Page 58 Lecture notes Page 59 Lecture notes Page 60 Lecture notes Page 61 Lecture notes Page 62 Lecture notes Page 63 Lecture notes Page 64 Lecture 13 12 February 2008 09:34 Lecture notes Page 65 Lecture notes Page 66 Lecture notes Page 67 Lecture notes Page 68 Lecture notes Page 69 Lecture notes Page 70 Lecture notes Page 71 Lecture notes Page 72 Lecture 14 16 February 2008 09:03 Lecture notes Page 73 Lecture notes Page 74 Lecture notes Page 75 Lecture notes Page 76 Lecture notes Page 77 Lecture notes Page 78 Lecture notes Page 79 Lecture 15 19 February 2008 09:06 Lecture notes Page 80 Lecture notes Page 81 Lecture notes Page 82 Lecture notes Page 83 Lecture notes Page 84 Lecture 16 21 February 2008 09:26 Lecture notes Page 85 Lecture notes Page 86 Lecture notes Page 87 Lecture notes Page 88 Lecture 18 26 February 2008 09:08 Lecture notes Page 89 Lecture notes Page 90 Lecture notes Page 91 Lecture notes Page 92 Lecture notes Page 93 Lecture notes Page 94 recall we aim to axiomatize the structure with the relation . the official language has, in addition to =, just one binary relation symbol . for practical purposes we need definitional extensions. Lecture 19 28 February 2008 09:07 Lecture notes Page 95 Lecture notes Page 96 Lecture notes Page 97 Lecture notes Page 98 Lecture notes Page 99 Lecture 20 01 March 2008 09:05 Lecture notes Page 100 Lecture notes Page 101 Lecture notes Page 102 Lecture notes Page 103 Lecture notes Page 104 Lecture notes Page 105 Lecture 21 04 March 2008 09:09 Lecture notes Page 106 Lecture notes Page 107 Lecture notes Page 108 Lecture notes Page 109 Lecture notes Page 110 Lecture notes Page 111 Lecture 22 06 March 2008 09:04 Lecture notes Page 112 Lecture notes Page 113 Lecture notes Page 114 Lecture notes Page 115 Lecture notes Page 116 Lecture notes Page 117 Lecture 24 11 March 2008 09:04 Lecture notes Page 118 Lecture notes Page 119 Lecture notes Page 120
