Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

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

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

Laajuus

10 op.

Esitietovaatimukset

...