Child pages
  • Malliteoria, syksy 2008
Skip to end of metadata
Go to start of metadata

You are viewing an old version of this page. View the current version.

Compare with Current View Page History

« Previous Version 2 Next »

Malliteoria, syksy 2008

Luennoitsija

Åsa Hirvonen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Esitietovaatimukset

Kurssin esitiedoiksi suositellaan kursseja Matemaattinen logiikka tai Logiikka I.

Luentoajat

Viikot 36-42 ja 44-50 ma 12-14, to 12-14 B321. Lisäksi laskuharjoituksia 2 viikkotuntia.

Sisältö

Ydinaines

Matemaattisen struktuurin, alimallin ja elementaarisen alimallin käsitteet
Isomorfismin ja elementaarisen ekvivalenssin käsitteet
Määriteltävyys (joukot ja malliluokat)
Kompaktisuus
Löwenheim-Skolemin lauseet
Tyypit ja tyypinhylkäyslause
Atomiset mallit, alkumallit ja saturoidut mallit

Täydentävä tietous

Kvanttoreiden eliminointi
Fraisse-konstruktio
Numeroituvan kategorisuuden määrittäminen
Eksistentiaalisesti suljetut joukot
Erottumattomat jonot

Erityistietämys

Mallitäydellisyys
Monsterimallikonstruktio
Ultratulot
Ehrenfeucht-Mostowski mallit

Kirjallisuus

Varmistuu myöhemmin.

Ilmoittaudu

Laskuharjoitukset

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

to

10 - 12

B321

Åsa Hirvonen

  • No labels