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 6 Next »

Malliteoria, syksy 2008

Luennoitsija

Åsa Hirvonen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Luentoajat

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

Esitietovaatimukset

Kurssin esitiedoiksi suositellaan kursseja Matemaattinen logiikka tai Logiikka I.

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

Amalgamaatio
Edestakaiset konstruktiot ja EF-peli
Kvanttoreiden eliminointi
Numeroituvan kategorisuuden määrittäminen
Erottumattomat jonot

Erityistietämys

Eksistentiaalisesti suljetut joukot ja mallitäydellisyys
Ultratulot
Ehrenfeucht-Mostowski-mallit
Morleyn teoreema

Kirjallisuus

David Marker, Model Theory: An Introduction, Springer 2002.

Ilmoittaudu

Laskuharjoitukset

Ryhmä

Päivä

Aika

Paikka

Pitäjä

1.

to

10 - 12

B321

Tapio Eerola

  • No labels