Stockholms universitet logo, länk till startsida
Go to this page on our english site

Logik II

Logik II ges på engelska och du hittar mer information om kursen på den engelska versionen av denna sida - klicka på det lilla jordklotet uppe till höger.

Kursen behandlar:

  • grundvalar och mängdteori: Zermelo-Fraenkel-axiomen för mängdteori, elementär teori för kardinaltal och ordinaltal. Ekvivalenta formuleringar av urvalsaxiomet och dess tillämpningar i analys och algebra.
  • strukturer och modeller: isomorfier och inbäddningar, fullständiga teorier, elementär ekvivalens och elementär inbäddning, Löwenheim-Skolems satser, kategoricitet, tillämpningar på algebraiska teorier samt icke-standard analys.
  • beräkningsbarhet och ofullständighet: beräkningsmodeller, klasser av beräkningsbara funktioner, avgörbara och oavgörbara problem, Gödelkodning samt Gödels ofullständighetsats.