Browsing by Author "Tiilikainen, Toni-Petri"

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.