Wiki-palvelun osoite wiki.helsinki.fi muuttuu wiki-emerita.it.helsinki.fi -osoitteeksi 4.12.2023 – katso lisätietoja tiedotteestamme: https://flamma.helsinki.fi/s/1uCkV
The Wiki address wiki.helsinki.fi will change to wiki-emerita.it.helsinki.fi on 4 December 2023 – see more information on Flamma: https://flamma.helsinki.fi/s/sreoE
Wiki-tjänstens adress wiki.helsinki.fi ändras till wiki-emerita.it.helsinki.fi 4.12.2023 – läs mer i vårt meddelande: https://flamma.helsinki.fi/s/fe3MT
...
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
Fraisse-konstruktio
Numeroituvan kategorisuuden määrittäminen
Eksistentiaalisesti suljetut joukot
Erottumattomat jonot
Erityistietämys
Eksistentiaalisesti suljetut joukot ja mallitäydellisyysMallitäydellisyys
Monsterimallikonstruktio
Ultratulot
Ehrenfeucht-Mostowski mallit
Morleyn teoreema
Laajuus
10 op.
Esitietovaatimukset
...