Lecture 117 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 219 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 322 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 422 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 526 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 629 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 731 January 2008

09:06

Lecture notes Page 37

Lecture notes Page 38

Lecture notes Page 39

Lecture notes Page 40

Lecture 802 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 905 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 1005 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 1212 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 1312 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 1416 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 1519 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 1621 February 2008

09:26

Lecture notes Page 85

Lecture notes Page 86

Lecture notes Page 87

Lecture notes Page 88

Lecture 1826 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 1928 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 2001 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 2104 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 2206 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 2411 March 2008

09:04

Lecture notes Page 118

Lecture notes Page 119

Lecture notes Page 120