Mängdlära, (fo-kurs) 3p, ht-05

• Kursbeskrivning.
• Schema.
• Inlämningsuppgifter 1
• Inlämningsuppgifter 2 Förtydligande angående uppgift 4: Två NNOer (N,s,z) och (N',s',z') räknas för isomorfa om det finns isomorfi f:N -> N' sådan att f o s = s' o f och f o z = z'.
• De två avslutande föreläsningarna kommer att handla om "strukturalism" i matematiken och kategoriteori. Följande artiklar kommer att behandlas (tillgängliga elektroniskt via biblioteket):
  • S. Mac Lane: Structure in Mathematics. Philosophica Mathematica, vol 4 (1996), pp 174-183.
  • S. Awodey: Structure in Mathematics and Logic: A Categorical Perspective. Philosophia Mathematica,vol 4 (1996), pp 209-237.
  • C. McLarty: Number can be just what they have to. Noûs, vol 27 (1993), pp 487-498.
  • W. Lawvere: An elementary theory of the category of sets (long version) with commentary. Reprints in Theory and Applications of Categories, No 11 2005, pp 1-35.
• Kursen kan kompletteras med modellteori till Modell- och mängdteori D, 6p. Kontakta Marko Djordjevic för närmare information. (Obs: förkunskapskrav är Logik MN2 eller motsvarande.)