Playing Games on Sets and Models

The most prominent objective of the thesis is the development of the generalized descriptive set theory, as we call it. There, we study the space of all functions from a fixed uncountable cardinal to itself, or to a finite set of size two. These correspond to generalized notions of the universal Baire space (functions from natural numbers to themselves with the product topology) and the Cantor space (functions from natural numbers to the {0,1}-set) respectively. We generalize the notion of Borel sets in three different ways and study the corresponding Borel structures with the aims of generalizing classical theorems of descriptive set theory or providing counter examples. In particular we are interested in equivalence relations on these spaces and their Borel reducibility to each other. The last chapter shows, using game-theoretic techniques, that the order of Borel equivalence relations under Borel reduciblity has very high complexity. The techniques in the above described set theoretical side of the thesis include forcing, general topological notions such as meager sets and combinatorial games of infinite length. By coding uncountable models to functions, we are able to apply the understanding of the generalized descriptive set theory to the model theory of uncountable models. The links between the theorems of model theory (including Shelah's classification theory) and the theorems in pure set theory are provided using game theoretic techniques from Ehrenfeucht-Fraïssé games in model theory to cub-games in set theory. The bottom line of the research declairs that the descriptive (set theoretic) complexity of an isomorphism relation of a first-order definable model class goes in synch with the stability theoretical complexity of the corresponding first-order theory. The first chapter of the thesis has slightly different focus and is purely concerned with a certain modification of the well known Ehrenfeucht-Fraïssé games. There we (me and my supervisor Tapani Hyttinen) answer some natural questions about that game mainly concerning determinacy and its relation to the standard EF-game

Kirjallisen teoksen omaperäisyys

Tutkielmassa tarkastellaan kirjallisten teosten tekijänoikeussuojan edellytyksiä EU:n jäseninä olevissa Pohjoismaissa sekä Iso-Britanniassa. Tarkastelun keskiössä on käsite omaperäisyys , joka on kansainvälisesti vakiintunut termi kuvaamaan tekijänoikeus-suojan edellytyksiä. Omaperäisyys ymmärretään sisällöllisesti varsin eri tavoin. Kansainvälisissä tekijänoikeussopimuksissa asete-taan vain vähimmäisedellytykset tekijänoikeussuojalle. Näin ollen Pohjoismaissa ja Iso-Britanniassa on voitu päätyä varsin erilaisiin käsityksiin vaatimuksen sisällöstä. EU:n tasolla on toisaalta 1980-luvulta lähtien ilmennyt pyrkimys luoda yhtenäinen sisältö omaperäisyyden käsitteelle ja näin harmo-nisoida teossuojan kansallisia edellytyksiä. Syynä tähän on ennen kaikkea ollut jäsenvaltioiden erilaisten tekijänoikeussuojan edelly-tysten vaikutus sisämarkkinoihin. Harmonisointi on tähän mennessä tapahtunut sekundäärilainsäädännön keinoin tietokoneohjelmien, tietokantojen ja valokuvien osalta. Sen sijaan jäsenvaltioiden tekijänoikeutta yhdenmukaistava ja kaikkia kirjallisia teoksia koskeva Infosoc-direktiivi ei sisällä suoraan ilmaistua vaatimusta omaperäisyydestä tekijänoikeussuojan edellytyksenä. Silloinen EY-tuomioistuin on kuitenkin 16.7.2009 julkistamassaan ns. Infopaq-ratkaisussa (C-5/08) esittänyt Infosoc-direktiiviin perusteella oman tulkintansa omaperäisyyden vaatimuksen sisällöstä ja edellytyksistä. Tutkielman tarkoituksena onkin selvittää, mitä kansallisia vaikutuksia tästä EU-oikeudellisesta omaperäisyyden käsitteestä aiheutuu unioniin kuuluvien Pohjoismaiden ja Iso-Britannian kansalliselle tekijänoikeussuojalle. Tutkielmassa selvitetään, onko EU-tuomioistuin asettanut Infopaq-ratkaisussa vain vähimmäisedellytykset kirjallisten teosten tekijänoikeussuojalle, joista jäsenvaltiot voivat vapaasti poiketa, vai onko kyse tosiasialli-sesti täysin uudesta jäsenvaltioita sitovasta vaatimuksesta. Tutkielmassa tarkastellaan ensin kansainvälisen tason sääntelykehystä. Tarkoituksena on paikallistaa ne instrumentit, joiden perus-teella kansallinen teoksen käsite Pohjoismaissa ja Iso-Britanniassa määräytyy ja joista omaperäisyyden vaatimus juontuu. Kansainvä-lisistä tekijänoikeussopimuksista on tällöin Bernin yleissopimus kaikkein merkityksellisin. Sopimus asettaa vähimmäisvaatimukset tekijänoikeussuojalle. Suojaa saadakseen teoksen on oltava omaperäinen eli henkisen luomistyön tuote. Tästä jäsenvaltiot voivat vapaasti asettaa tiukempia edellytyksiä. Lisäksi tässä yhteydessä tuodaan esiin myös EU:n pyrkimys tekijänoikeussuojan harmo-nisointiin. Tarkastelu kohdistuu tällöin sekundäärinormistoon, joka edellyttää tietokoneilta, tietokannoilta ja valokuvilta omaperäi-syyttä, mikä ilmenee tekijän henkisen luomistyön tuloksena. Kaikkia teoksia koskevassa Infosoc-direktiivissä ei puolestaan tällaista vaatimusta ole kirjoitettu näkyville. Tämän jälkeen tarkastellaan Pohjoismaiden ja Iso-Britannian kansallisia kirjallisten teosten teossuojan edellytyksiä. Tarkoituksena on tuoda esiin teossuojan edellytysten kansallisen tason keskeinen sisältö ja vertailla näitä edellytyksiä keskenään. Keskeistä on tällöin havaita, että Pohjoismaissa edellytetään tekijänoikeussuojan saamiseksi enemmän luovuutta kuin Iso-Britanniassa. Iso-Britanniassa saatetaan teossuojaa antaa myös puhtaan rutiininomaisen työn sekä tähän sisältyvän ajan ja vaivan perusteella. Näin ollen kansallisen tason eroavuudet ovat paikoin merkittävät. Kansallisen tason tarkastelun jälkeen otetaan analyysin kohteeksi EU-tuomioistuimen Infopaq-ratkaisu, jossa tuomioistuin katsoi, että suojaa saadakseen uutisartikkelista irrotetun osan on oltava omaperäinen siinä mielessä, että se on tekijänsä henkisen luomistyön tulos. Näin ollen kyse olisi samanlaisesta vaatimuksesta kuin sekundäärilainsäädännön tasolla on jo asetettu tietokoneohjelmille, tietokannoille ja valokuville. Esikysymyksenä tarkastellaan tällöin tämän EU-oikeudellisen omaperäisyyden käsitteen soveltuvuutta kirjallisiin teoksiin ylipäätään. Tämän jälkeen tuodaan esiin käsitteen tarkka sisältö. Näin kyetään analysoimaan mahdollisia kansalli-seen lainsäädäntöön kohdistuvia muutosvaikutuksia. Tässä yhteydessä korostetaan myös jäsenvaltioiden ja EU:n välisen yhteistyön merkitystä. Teossuojan edellytysten yhtenäistäminen edellyttää EU-oikeuden ja EU-tuomioistuimen ratkaisujen tarkoitusperien, tavoitteiden ja tulkintaperiaatteiden selkeää esiin tuontia. Samaten unionin on tunnistettava kansalliset erot, jottei harmonisoinnista koituisi kohtuuttomia tai mahdottomia vaatimuksia jäsenvaltioille. Vasta tällöin voidaan saavuttaa EU-oikeuden tehokas harmoni-sointi. Tutkielman lopuksi esitetään yhteenveto keskeisistä johtopäätöksistä. Tarkoituksena on korostaa vallitsevan tilanteen tulkinnallista epävarmuutta. Liian pitkälle meneviä johtopäätöksiä EU-oikeudellisen omaperäisyyden käsitteen kansallisista vaikutuksista ei voida tehdä. Jotta omaperäisyys kirjallisten teosten tekijänoikeussuojan edellytyksenä voitaisiin tehokkaasti yhtenäistää unionin tasolla, tulisi vaatimus kirjoittaa esiin joko nykyiseen Infosoc-direktiiviin tai uuteen EU-oikeudelliseen lainsäädäntöinstrumenttiin. Muutoin jäsenvaltioilla säilyy mahdollisuus soveltaa vakiintunutta kansallista omaperäisyyden käsitettä suojan edellytyksenä ottamatta huo-mioon laajempaa EU-oikeudellista tavoitetta tekijänoikeussuojan yhtenäistämisestä.

Päivikin sadusta Metsolan lapsiin : Aili Somersalon lastenkirjojen nimistö 1910-luvulta 1950-luvulle

Tutkielmassa selvitetään, millaiset piirteet ovat tyypillisiä Aili Somersalon kirjoittamien satuteosten nimistölle. Tarkasteltavana on 274 nimeä, jotka on poimittu kymmenestä Somersalon vuosina 1918 1951 julkaistusta lastenkirjasta. Nimiaineisto on jaettu kuuteen eri kategoriaan: ihmisten nimiin, eläinten nimiin, kuvitteellisiin nimiin, fantastisten satuolentojen nimiin, paikannimiin ja lainanimiin. Tutkielmassa keskitytään nimien rakenteellisten piirteiden ja funktioiden erittelyyn. Tämän lisäksi pohditaan, kuinka nimet ovat motivoituneet ja muuttuuko kirjailijan nimenanto vuosikymmenten aikana. Tutkielmassa sivutaan myös nimen ja nimityksen välistä rajaa sekä kyseenalaistetaan iso alkukirjain proprin tunnusmerkkinä kaunokirjallisessa kontekstissa. Aineiston nimille tyypillisiä rakenteellisia piirteitä ovat yksinimisyys, yhdysnimirakenne ja nimien kaksiosaisuus, appellatiivisuus ja adjektiivien esiintyminen nimenä tai nimenosana, johtimien käyttö sekä erilaiset äänteelliset piirteet. Nimen perustehtävän, identifioinnin, lisäksi aineiston nimet pyrkivät kuvailemaan, luokittelemaan ja lokalisoimaan tarkoitteitaan. Vuosikymmenten aikana teosten nimimäärä kasvaa maltillisesti. Teosten sisältämissä konventionaalisissa nimissä näkyy kulloisenkin vuosikymmenen nimimuoti. Merkillepantavaa on myös teoksissa esiintyvä hahmojen samanimisyys. Mielenkiintoisen lisän analyysiin tuovat aineiston lainanimet, jotka ovat peräisin paitsi universaalista satuperinteestä, myös suomalaisesta kansanmytologiasta ja Kalevalasta. Kansallisromanttisuus näkyy myös teoksiin valikoituneissa konventionaalisissa nimissä, joista suuri osa on omakielisiä. Kirjailija on lainannut teoksiinsa nimiä myös omasta elämänpiiristään. Somersalon nimenmuodostus nojaa vahvasti leksikkoon. Aineiston nimien ja nimitysten välinen raja ei ole yksiselitteinen, ja aineiston voikin luonnehtia koostuvan nimityksen kaltaisista nimistä ja nimen kaltaisista nimityksistä. Kaiken kaikkiaan aineiston nimet ovat hyvin informatiivisia, tarkoitteen fyysisiä tai mentaalisia ominaisuuksia kuvailevia, ja toimivat olennaisena osana tarinankerrontaa. Nimet kielivät kirjailijan kannattamasta ideologiasta, ja kytkeytyvät siten myös reaalimaailmaan. Vaikka kirjailijan nimenanto on osin huolimatonta, on se silti selvästi harkittua. Aili Somersalon luoma nimimaisema on omalakinen ja tunnistettava.

Naudanlihan jalostusketjun hiilijalanjälki Suomessa

Kirjallisuustutkimuksen tavoitteena oli perehtyä kasvihuoneilmiön taustoihin ja kartoittaa aiempia tutkimuksia naudan- ja muiden lihatuotteiden kasvihuonekaasupäästöistä. Lisäksi kirjallisuustutkimuksessa perehdyttiin aiemmissa tutkimuksissa elintarvikkeiden hiilijalanjäljen laskemisessa sovellettuun elinkaarianalyysiin ISO 14040-standardin mukaisesti. Kokeellisen osion tavoitteena oli määrittää naudanlihan hiilijalanjälki Suomessa maatilan portilta kuluttajan ruokapöytään. Tavoitteena oli myös ymmärtää jalostusketjun päästöjen merkitys verrattuna koko naudanlihan tuotantoketjuun ja määrittää jalostusketjun vaiheiden merkitys ketjussa. Työn toiminnallisena yksikkönä toimi kilo naudanlihaa. Työ toteutettiin perehtymällä yksityiskohtaisesti yhteen naudanlihan jalostusketjuun Suomessa. Päästöt laskettiin todellisten yhteistyöyritykseltä saatujen prosessitietojen perusteella. Tiedot kerättiin tiedonkeruulomakkeella vierailemalla yhteistyöyrityksen kahdessa tuotantolaitoksessa ja täydentämällä tietoja haastatteluilla. Naudanlihan jalostusketjun päästöt olivat 1240 g CO2-ekv/lihakilo. Eniten päästöjä tuottivat jalostusvaihe (310 g CO2-ekv/lihakilo), teurastus (280 g CO2-ekv/lihakilo) ja lihatuotteiden kuljetus kuluttajalle (210 g CO2-ekv/lihakilo). Koko naudanlihan tuotantoketjusta jalostusketjun päästöt muodostivat alle 4 %, sillä syntymästä maatilan portille syntyviksi päästöiksi laskettiin kirjallisuuden perusteella yli 30 000 g CO2-ekv/lihakilo. Jatkossa naudanlihan hiilijalanjälkeä voitaisiin pääasiassa pienentää kehittämällä prosessia maatilan portille asti. Tämän työn tulokset olivat hyvin samansuuruiset verrattuna aiempaan tutkimukseen broilerin jalostusketjun päästöistä Suomessa (Katajajuuri ym. 2008). Tämä vastasi ennakko-odotuksia, sillä jalostusketjujen vaiheissa ei ollut merkittäviä eroja. Aiempia tutkimuksia naudanlihan jalostusketjun päästöistä ei ollut saatavilla.