Metristen struktuurien malliteoria
Title: | Metristen struktuurien malliteoria |
Author(s): | Tiilikainen, Toni-Petri |
Contributor: | University of Helsinki, Faculty of Science, Department of Mathematics and Statistics |
Discipline: | Mathematics |
Language: | Finnish |
Acceptance year: | 2012 |
Abstract: |
Gradussa käsitellään jatkuvia logiikoita, joissa pääasiallisesti paneudutaan kompaktisuuslauseeseen, konnektiiveihin ja kvanttorien eliminointiin. Kompaktisuutta varten käydään läpi ultrafilttereitä käsitteleviä tuloksia. Vuorostaan kvanttorien eliminointia varten todistetaan tuloksia monsterimallien olemassa olosta. Lopussa annetaan vielä lyhyesti esimerkki kvanttorien eliminoinnista Hilbertin avaruuksissa.
|
Files in this item
Files | Size | Format | View |
---|---|---|---|
Metristen struktuurien malliteoria.pdf | 314.5Kb | ||
Tiivistelma.pdf | 29.19Kb |
This item appears in the following Collection(s)
-
Faculty of Science [4203]