dc.date.accessioned |
2012-10-26T06:44:01Z |
und |
dc.date.accessioned |
2017-10-24T12:21:16Z |
|
dc.date.available |
2012-10-26T06:44:01Z |
und |
dc.date.available |
2017-10-24T12:21:16Z |
|
dc.date.issued |
2012-10-26T06:44:01Z |
|
dc.identifier.uri |
http://radr.hulib.helsinki.fi/handle/10138.1/2072 |
und |
dc.identifier.uri |
http://hdl.handle.net/10138.1/2072 |
|
dc.title |
Metristen struktuurien malliteoria |
fi |
ethesis.discipline |
Mathematics |
en |
ethesis.discipline |
Matematiikka |
fi |
ethesis.discipline |
Matematik |
sv |
ethesis.discipline.URI |
http://data.hulib.helsinki.fi/id/44bc4f03-6035-4697-993b-cfc4cea667eb |
|
ethesis.department.URI |
http://data.hulib.helsinki.fi/id/61364eb4-647a-40e2-8539-11c5c0af8dc2 |
|
ethesis.department |
Institutionen för matematik och statistik |
sv |
ethesis.department |
Department of Mathematics and Statistics |
en |
ethesis.department |
Matematiikan ja tilastotieteen laitos |
fi |
ethesis.faculty |
Matematisk-naturvetenskapliga fakulteten |
sv |
ethesis.faculty |
Matemaattis-luonnontieteellinen tiedekunta |
fi |
ethesis.faculty |
Faculty of Science |
en |
ethesis.faculty.URI |
http://data.hulib.helsinki.fi/id/8d59209f-6614-4edd-9744-1ebdaf1d13ca |
|
ethesis.university.URI |
http://data.hulib.helsinki.fi/id/50ae46d8-7ba9-4821-877c-c994c78b0d97 |
|
ethesis.university |
Helsingfors universitet |
sv |
ethesis.university |
University of Helsinki |
en |
ethesis.university |
Helsingin yliopisto |
fi |
dct.creator |
Tiilikainen, Toni-Petri |
|
dct.issued |
2012 |
|
dct.language.ISO639-2 |
fin |
|
dct.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. |
fi |
dct.language |
fi |
|
ethesis.language.URI |
http://data.hulib.helsinki.fi/id/languages/fin |
|
ethesis.language |
Finnish |
en |
ethesis.language |
suomi |
fi |
ethesis.language |
finska |
sv |
ethesis.thesistype |
pro gradu-avhandlingar |
sv |
ethesis.thesistype |
pro gradu -tutkielmat |
fi |
ethesis.thesistype |
master's thesis |
en |
ethesis.thesistype.URI |
http://data.hulib.helsinki.fi/id/thesistypes/mastersthesis |
|
dct.identifier.urn |
URN:NBN:fi-fe2017112251632 |
|
dc.type.dcmitype |
Text |
|