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

Malliteoria, syksy 2008

Ajankohtaista

Kurssin välikokeet järjestetään ti 14.10. ja 9.12. klo 13-15 Exactumin auditoriossa A111. Kurssin voi vaihtoehtoisesti suorittaa lopputentillä joulukuussa (tästä on sovittava erikseen luennoitsijan kanssa).

Kurssin laskuharjoitukset pidetään viikosta 41 (harjoitus 4) lähtien keskiviikkoisin klo 10-12 salissa C130.

Laskuharjoitustehtävät

Harjoitus 1
Harjoitus 2
Harjoitus 3
Harjoitus 4
Harjoitus 5

Luennoitsija

Åsa Hirvonen

Laajuus

10 op.

Tyyppi

Syventävä opinto.

Luentoajat

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

Kokeet

  • 1. kurssikoe ti 14.10. 13-15 A111
  • 2. kurssikoe ti 9.12. 13-15 A111

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.

ke

10 - 12

C130

Tapio Eerola

  • No labels