Notes and lecture week 3

I have posted the final version of Note 3 (some minor modifications to reflect what we covered during lectures page 1, to see how integers and rationals can be recovered in any ordered field page 7,  and exercise 3.10).

I have also posted this week's lecture. I improved the formulation of the lemma page 8 and added remarks page 9 and 12.