dc.date.accessioned |
2017-06-09T09:59:45Z |
und |
dc.date.accessioned |
2017-10-24T12:22:14Z |
|
dc.date.available |
2017-06-09T09:59:45Z |
und |
dc.date.available |
2017-10-24T12:22:14Z |
|
dc.date.issued |
2017-06-09T09:59:45Z |
|
dc.identifier.uri |
http://radr.hulib.helsinki.fi/handle/10138.1/6093 |
und |
dc.identifier.uri |
http://hdl.handle.net/10138.1/6093 |
|
dc.title |
The Suslin hypothesis |
en |
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 |
Räty, Olli |
|
dct.issued |
2017 |
|
dct.language.ISO639-2 |
eng |
|
dct.abstract |
Tutkielmassa esitellään Suslinin hypoteesi ja todistetaan sen itsenäisyys ZFC-aksiomatisaatiosta. Myös muita hypoteesiin läheisesti liittyviä itsenäisyystuloksia käsitellään tarpeellisilta osin. Suslinin ongelman ja sen hypoteettisen ratkaisun historiallinen konteksti esitetään lyhyesti. Hypoteesiin liittyvät rakenteet Suslin-suora ja Suslin-puu esitellään, sekä todistetaan näiden välinen yhteys. Tutkielma sisältää johdatuksen joukko-opilliseen pakotukseen, keskeisimmät todistukset metodin teoreettiselle perustalle mukaan lukien. Pakotuksen keinoin osoitetaan hypoteesin ristiriidattomuus ZFC:n aksioomien kanssa.
Kontinuumihypoteesiin ja Martinin aksioomaan tutustutaan näiden lauseiden itsenäisyyttä tarkemmin todistamatta. Tarkoituksenomaisesti keskitytään näiden sekä Suslinin hypoteesiin yhteyteen. Keskeisimpänä tuloksena todetaan Suslinin hypoteesin negaation seuraavan Martinin aksioomasta ja kontinuumihypoteesin negaatiosta.
Iteroidun pakotuksen teoriaan tutustutaan äärelliskantajaisten iteraatioden osalta. Iteroidulla pakotuksella todistetaan Martinin aksiooman ja kontinuumihypoteesin negaation ristiriidattomuus ZFC:n kanssa, näin todeten myös Suslinin hypoteesin negaation ristiriidattomuus, ja täten itsenäisyys ZFC:stä. |
fi |
dct.language |
en |
|
ethesis.language.URI |
http://data.hulib.helsinki.fi/id/languages/eng |
|
ethesis.language |
English |
en |
ethesis.language |
englanti |
fi |
ethesis.language |
engelska |
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-fe2017112252373 |
|
dc.type.dcmitype |
Text |
|