Wiki source code of 57245

Last modified by asaekman@helsinki_fi on 2024/03/27 09:58
Show last authors
1 = Malliteoria =
2
3 == Kurssikoodi ==
4
5 57245
6
7 == Tyyppi ==
8
9 Syventävä opinto.
10
11 == Kurssisivut ==
12
13 [[doc:mathstatKurssit.57245.Malliteoria, syksy 2008.WebHome]]
14
15 == Sisältö ==
16
17 === Ydinaines ===
18
19 Matemaattisen struktuurin, alimallin ja elementaarisen alimallin käsitteet
20 Isomorfismin ja elementaarisen ekvivalenssin käsitteet
21 Määriteltävyys (joukot ja malliluokat)
22 Kompaktisuus
23 Löwenheim-Skolemin lauseet
24 Tyypit ja tyypinhylkäyslause
25 Atomiset mallit, alkumallit ja saturoidut mallit
26
27 === Täydentävä tietous ===
28
29 Amalgamaatio
30 Edestakaiset konstruktiot ja EF-peli
31 Kvanttoreiden eliminointi
32 Numeroituvan kategorisuuden määrittäminen
33 Erottumattomat jonot
34
35 === Erityistietämys ===
36
37 Eksistentiaalisesti suljetut joukot ja mallitäydellisyys
38 Ultratulot
39 Ehrenfeucht-Mostowski mallit
40 Morleyn teoreema
41
42 == Laajuus ==
43
44 10 op.
45
46 == Esitietovaatimukset ==
47
48 Kurssin esitiedoiksi suositellaan kursseja Matemaattinen logiikka tai Logiikka I.