Itse tehtyjen identiteettien klassikko

Kirjallisuusarvostelu

Matkalla kansainväliseen kansalaisyhteiskuntaan

Kirjallisuusarvostelu

Toimitusjohtaja Tapani Tikanoja 11/5 1971

Kirje 11.5.1971

"Sotien täytyy hävitä sivistyskansojen keskuudesta"

Kirjallisuusarvostelu

Generalized descriptive set theory and classification theory

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized Baire and Cantor spaces, equivalence relations and their Borel reducibility. The study shows that the descriptive set theory looks very different in this generalized setting compared to the classical, countable case. We also draw the connection between the stability theoretic complexity of first-order theories and the descriptive set theoretic complexity of their isomorphism relations. Our results suggest that Borel reducibility on uncountable structures is a model theoretically natural way to compare the complexity of isomorphism relations.

Potential isomorphism of elementary substructures of a strictly stable homogeneous model

"Vegeu el resum a l'inici del document del fitxer adjunt."

The non-absoluteness of model existence in uncountable cardinals for Lw1,w

"Vegeu el resum a l'inici del document del fitxer adjunt"

On Borel equivalence relations in generalized Baire space

"Vegeu el resum a l'inici del document del fitxer adjunt."

Rakennustekniikan lämpökuvauspalvelujen kehittäminen

Tämä insinöörityö tehtiin Helsingin ammattikorkeakoulu Stadian Rakennustekniikan koulutusohjelmalle. Helsingin ammattikorkeakoulu Stadia on yksi Suomen suurimmista ammattikorkeakouluista, jonka opiskelijat ovat valmistuessaan alansa asiantuntijoita. Työn tavoitteena oli kehittää Rakennustekniikan koulutusohjelman tuottamia lämpökuvauspalveluja. Työssä selvitettiin, mitkä ovat lämpökuvauspalvelujen kehittämiskohteet ja mihin kehittämistoimenpiteisiin tulisi ryhtyä, jotta palvelujen menestyksekäs tuottaminen tulevaisuudessa varmistetaan. Työ aloitettiin perehtymällä palvelujen johtamisen ja kehittämisen menetelmiin sekä lämpökuvaamisen teknologiaan ja perusteisiin. Lämpökuvauspalvelujen kehittämismenetelmäksi valittiin palveluprosessin kuvaaminen ja siihen kytkeytyvän teknologian, osaamisen ja asiakassuhteiden kehittäminen. Työssä laadittiin seuraavaksi prosessikuvaus lämpökuvauspalveluille, määritettiin prosessiin kytkeytyvä teknologia ja osaaminen sekä kuvattiin palvelun asiakassuhteiden hoitomalli. Kuvausten perusteella kartoitettiin keskeiset kehittämiskohteet ja arvioitiin kehittämismahdollisuuksia. Työn lopputuloksena syntyi lämpökuvauspalvelujen prosessikuvaus sekä toimenpidesuositukset kehittämistoimenpiteistä. Keskeisinä suosituksina kehittämistoimenpiteiksi esitetään panostamista ajantasaiseen lämpökuvausteknologiaan hankkimalla uusi lämpökamera, palveluhenkilöstön osaamisen kehittämistä valmennuksia hyödyntäen sekä systemaattista asiakassuhteiden hoitoa ryhtymällä perusmarkkinointitoimenpiteisiin. Jatkotutkimuskohteeksi ehdotetaan selvitystä Rakennustekniikan koulutusohjelman lämpökuvauslaboratorion perustamismahdollisuuksista.