On linear order and computation : The expressiveness of interactive computations on linear orders and computations indexed by ordinals

We solve the Dynamic Ehrenfeucht-Fra\"iss\'e Game on linear orders for both players, yielding a normal form for quantifier-rank equivalence classes of linear orders in first-order logic, infinitary logic, and generalized-infinitary logics with linearly ordered clocks. We show that Scott Sentences can be manipulated quickly, classified into local information, and consistency can be decided effectively in the length of the Scott Sentence. We describe a finite set of linked automata moving continuously on a linear order. Running them on ordinals, we compute the ordinal truth predicate and compute truth in the constructible universe of set-theory. Among the corollaries are a study of semi-models as efficient database of both model-theoretic and formulaic information, and a new proof of the atomicity of the Boolean algebra of sentences consistent with the theory of linear order -- i.e., that the finitely axiomatized theories of linear order are dense.

Gustaf III inför sina undersåtar : Konsten att härska och politikens kulturhistoria

The dissertation analyses the political culture of Sweden during the reign of King Gustav III (1771-1792). This period commonly referred to as the Gustavian era followed the so-called Age of Liberty ending half a century of strong parliamentary rule in Sweden. The question at the heart of this study engages with the practice of monarchical rule under Gustav III, its ideological origins and power-political objectives as well as its symbolic expression. The study thereby addresses the very nature of kingship. In concrete terms, why did Gustav III, his court, and his civil service vigorously pursue projects that contemporaneous political opponents and, in particular, subsequent historiography have variously pictured as irrelevant, superficial, or as products of pure vanity? The answer, the study argues, is to be found in patterns of political practice as developed and exercised by Gustav III and his administration, which formed a significant part of the political culture of Gustavian Sweden. The dissertation is divided into three parts. The first traces the use and development of royal graces chivalric orders, medals, titles, privileges, and other gifts issued by the king. The practice of royal reward is illustrated through two case studies: the 1772 coup d état that established Gustav III s rule, and the birth and baptism of the crown prince, Gustav Adolf, in 1778. The second part deals with the establishment of the Court of Appeal in Vasa in 1776. The formation of the Appeals Court was accompanied by a host of ceremonial, rhetorical, emblematic, and architectural features solidifying its importance as one of Gustav III s most symbolic administrative reform projects and hence portraying the king as an enlightened monarch par excellence. The third and final part of the thesis engages with war as a cultural phenomenon and focuses on the Russo-Swedish War of 1788-1790. In this study, the war against Russia is primarily seen as an arena for the king and other players to stage, create and re-create as well as articulate themselves through scenes and roles adhering to a particular cultural idiom. Its codes and symbolic forms, then, were communicated by means of theatre, literature, art, history, and classical mythology. The dissertation makes use of a host of sources: protocols, speeches, letters, diaries, newspapers, poetry, art, medals, architecture, inscriptions and registers. Traditional political source material and literary and art sources are studied as totalities, not as separate entities. Also it is argued that political and non-fictional sources cannot be understood properly without acknowledging the context of genre, literary conventions, and artistic modes. The study critically views the futile, but nonetheless almost habitual juxtaposition of the reality of images, ideas, and metaphors, and the reality of supposedly factual historical events. Significantly, the thesis presumes the symbolic dimension to be a constitutive element of reality, not its cooked up misrepresentation. This presumption is reflected in a discussion of the concept of role , which should not be anachronistically understood as roles in which the king cast himself at different times and in different situations. Neither Gustav III nor other European sovereigns of this period played the roles as rulers or majesties. Rather, they were monarchs both in their own eyes and in the eyes of their contemporaries as well as in all relations and contexts. Key words: Eighteenth-Century, Gustav III, Cultural History, Monarchs, Royal Graces, the Vasa Court of Appeal, the Russo-Swedish War 1788–1790.

Musiikki ahdistuksen taitona : Filosofinen tutkimus musiikin eksistentiaalis-ontologisesta merkityksestä

Music as the Art of Anxiety: A Philosophical Approach to the Existential-Ontological Meaning of Music. The present research studies music as an art of anxiety from the points of view of both Martin Heidegger s thought and phenomenological philosophy in general. In the Heideggerian perspective, anxiety is understood as a fundamental mode of being (Grundbefindlichkeit) in human existence. Taken as an existential-ontological concept, anxiety is conceived philosophically and not psychologically. The central research questions are: what is the relationship between music and existential-ontological anxiety? In what way can music be considered as an art of anxiety? In thinking of music as a channel and manifestation of anxiety, what makes it a special case? What are the possible applications of phenomenology and Heideggerian thought in musicology? The main aim of the research is to develop a theory of music as an art of existential-ontological anxiety and to apply this theory to musicologically relevant phenomena. Furthermore, the research will contribute to contemporary musicological debates and research as it aims to outline the phenomenological study of music as a field of its own; the development of a specific methodology is implicit in these aims. The main subject of the study, a theory of music as an art of anxiety, integrates Heideggerian and phenomenological philosophies with critical and cultural theories concerning violence, social sacrifice, and mimetic desire (René Girard), music, noise and society (Jacques Attali), and the affect-based charme of music (Vladimir Jankélévitch). Thus, in addition to the subjective mood (Stimmung) of emptiness and meaninglessness, the philosophical concept of anxiety also refers to a state of disorder and chaos in general; for instance, to noise in the realm of sound and total (social) violence at the level of society. In this study, music is approached as conveying the existentially crucial human compulsion for signifying i.e., organizing chaos. In music, this happens primarily at the immediate level of experience, i.e. in affectivity, and also in relation to all of the aforementioned dimensions (sound, society, consciousness, and so on). Thus, music s existential-ontological meaning in human existence, Dasein, is in its ability to reveal different orders of existence as such. Indeed, this makes music the art of anxiety: more precisely, music can be existentially significant at the level of moods. The study proceeds from outlining the relevance of phenomenology and Heidegger s philosophy in musicology to the philosophical development of a theory of music as the art of anxiety. The theory is developed further through the study of three selected specific musical phenomena: the concept of a musical work, guitar smashing in the performance tradition of rock music, and Erik Bergman s orchestral work Colori ed improvvisazioni. The first example illustrates the level of individual human-subject in music as the art of anxiety, as a means of signifying chaos, while the second example focuses on the collective need to socio-culturally channel violence. The third example, being music-analytical, studies contemporary music s ability to mirror the structures of anxiety at the level of a specific musical text. The selected examples illustrate that, in addition to the philosophical orientation, the research also contributes to music analysis, popular music studies, and the cultural-critical study of music. Key words: music, anxiety, phenomenology, Martin Heidegger, ontology, guitar smashing, Erik Bergman, musical work, affectivity, Stimmung, René Girard

Type 1 and type 2 diabetes among young adults in Finland : Incidence and perinatal exposures

This study aimed to examine the incidence of young adult-onset T1DM and T2DM among Finns, and to explore the possible risk factors for young adult-onset T1DM and T2DM that occur during the perinatal period and childhood. In the studies I-II, the incidence of diabetes was examined among 15-39-year-old Finns during the years 1992-2001. Information on the new diagnoses of diabetes was collected from four sources: standardized national reports filled in by diabetes nurses, the Hospital Discharge Register, the Drug Reimbursement Register, and the Drug Prescription Register. The type of diabetes was assigned using information obtained from these four data sources. The incidence of T1DM was 18 per 100,000/year, and there was a clear male predominance in the incidence of T1DM. The incidence of T1DM increased on average 3.9% per year during 1992-2001. The incidence of T2DM was 13 per 100,000/year, and it displayed an increase of 4.3% per year. In the studies III-V, the effects of perinatal exposures and childhood growth on the risk for young adult-onset T1DM and T2DM were explored in a case-control setting. Individuals diagnosed with T1DM (n=1,388) and T2DM (n=1,121) during the period 1992-1996 were chosen as the diabetes cases for the study, and two controls were chosen for each case from the National Population Register. Data on the study subjects parents and siblings was obtained from the National Population Register. The study subjects original birth records and child welfare clinic records were traced nationwide. The risk for young adult-onset T2DM was the lowest among the offspring of mothers aged about 30 years, whereas the risk for T2DM increased towards younger and older maternal ages. Birth orders second to fourth were found protective of T2DM. In addition, the risk for T2DM was observed to decrease with increasing birth weight until 4.2 kg, after which the risk began to increase. A high body mass index (BMI) at the BMI rebound between ages 3-11 years substantially increased the risk for T2DM, and the excess weight gain in individuals diagnosed with T2DM began in early childhood. Maternal age, birth order, or body size at birth had no effect on the risk for young adult-onset T1DM. Instead, individuals with T1DM were observed to have a higher maximum BMI before the age of 3 than their control subjects. In conclusion, the increasing trend in the development of both T1DM and T2DM among young Finnish adults is alarming. The high risk for T1DM among the Finnish population extends to at least 40 years of age, and at least 200-300 young Finnish adults are diagnosed with T2DM every year. Growth during the fetal period and childhood notably affects the risk for T2DM. T2DM prevention should also target childhood obesity. Rapid growth during the first years of life may be a risk factor for late-onset T1DM.

From Francovich to Köbler and beyond : The evolution of a State liability regime for the EC

The aim of this paper is to present the evolution of the Francovich doctrine within the European legal order. The first part deals with the gradual development of the ECJ's case law on State liability in damages for breach of EC law. Starting from the seminal Francovich and Brasserie du Pêcheur, the clarification of the criteria set by the Court is attempted with reference to subsequent case law, whereas issues concerning the extent and form of the compensation owned are also mentioned. The second part concerns one of the more recent developments in the field, namely State liability for breaches of Community law attributed to national judiciary. The Court's ruling in Köbler is examined in connection with two other recent judgments, namely Commission v. Italy of 2003 and Kühne & Heitz, as an attempt of the ECJ to reframe its relationships with national supreme courts and appropriate for itself the position of the Supreme Court in the European legal order. The implications on State liability claims by the ruling in Commission v. France of 1997 constitute the theme of the third part, where it is submitted that Member States can also be held liable for disregard of Community law by private individuals within their respected territories. To this extent, Schmidberger is viewed as a manifestation of this opinion, with fundamental rights acquiring a new dimension, being invoked by the States, contra the individuals as a shield to liability claims. Finally, the third part examines the relationship between the Francovich doctrine and the principle of legal certainty and concludes that the solutions employed by the ECJ have been both predictable and acceptable by the national legal orders. Keywords: State liability, damages, Francovich, Köbler, Schmidberger

Foreign Capital and Finland : Central government's first period of reliance on international financial markets, 1862-1938

The main objective of the study is to evaluate the Finnish central government s foreign borrowing between the years 1862 and 1938. Most of this period was characterised by deep capital market integration that bears resemblance to the liberal world financial order at the turn of the millennium. The main aim is to analyse the credit risk associated with the state and its determination by evaluating the world financial market centres perception of Finland. By doing this, the study is also expected to provide an additional dimension to Finland s political and economic history by incorporating into the research the assessments of international capital markets regarding Finland during a period that witnessed profound political and economic changes in Finnish society. The evaluation of the credit risk mainly relies on exchange-rate risk free time series of the state s foreign bonds. They have been collected from quotations in the stock exchanges in Helsinki, Hamburg, Paris and London. In addition, it investigates Finland s exposure to short-term debt and Moody s credit ratings assigned to Finland. The study emphasises the importance of the political risk. It suggests that the hey-day of the state s reliance on foreign capital markets took place during last few decades of the 19th century when Finland enjoyed a wide autonomy in the Russian Empire and prudently managed its economy, highlighted in Finland s adherence to the international gold standard. Political confrontations in Finland and, in particular, in Russia and the turbulence of the world financial system prevented the return of this beneficial position again. Through its issuance of foreign bonds the state was able to import substantial amounts of foreign capital, which was sorely needed to foster economic development in Finland. Moreover, the study argues that the state s presence in the western capital markets not only had economic benefits, but it also increased the international awareness of Finland s distinct and separate status in the Russian Empire and later underlined its position as an independent republic.

Observations on the first steps of atmospheric particle formation and growth

Atmospheric aerosol particles have a significant impact on air quality, human health and global climate. The climatic effects of secondary aerosol are currently among the largest uncertainties limiting the scientific understanding of future and past climate changes. To better estimate the climatic importance of secondary aerosol particles, detailed information on atmospheric particle formation mechanisms and the vapours forming the aerosol is required. In this thesis we studied these issues by applying novel instrumentation in a boreal forest to obtain direct information on the very first steps of atmospheric nucleation and particle growth. Additionally, we used detailed laboratory experiments and process modelling to determine condensational growth properties, such as saturation vapour pressures, of dicarboxylic acids, which are organic acids often found in atmospheric samples. Based on our studies, we came to four main conclusions: 1) In the boreal forest region, both sulphurous compounds and organics are needed for secondary particle formation, the previous contributing mainly to particle formation and latter to growth; 2) A persistent pool of molecular clusters, both neutral and charged, is present and participates in atmospheric nucleation processes in boreal forests; 3) Neutral particle formation seems to dominate over ion-mediated mechanisms, at least in the boreal forest boundary layer; 4) The subcooled liquid phase saturation vapour pressures of C3-C9 dicarboxylic acids are of the order of 1e-5 1e-3 Pa at atmospheric temperatures, indicating that a mixed pre-existing particulate phase is required for their condensation in atmospheric conditions. The work presented in this thesis gives tools to better quantify the aerosol source provided by secondary aerosol formation. The results are particularly useful when estimating, for instance, anthropogenic versus biogenic influences and the fractions of secondary aerosol formation explained by neutral or ion-mediated nucleation mechanisms, at least in environments where the average particle formation rates are of the order of some tens of particles per cubic centimeter or lower. However, as the factors driving secondary particle formation are likely to vary depending on the environment, measurements on atmospheric nucleation and particle growth are needed from around the world to be able to better describe the secondary particle formation, and assess its climatic effects on a global scale.

Local numerical modelling of magnetoconvection and turbulence - implications for mean-field theories

During the last decades mean-field models, in which large-scale magnetic fields and differential rotation arise due to the interaction of rotation and small-scale turbulence, have been enormously successful in reproducing many of the observed features of the Sun. In the meantime, new observational techniques, most prominently helioseismology, have yielded invaluable information about the interior of the Sun. This new information, however, imposes strict conditions on mean-field models. Moreover, most of the present mean-field models depend on knowledge of the small-scale turbulent effects that give rise to the large-scale phenomena. In many mean-field models these effects are prescribed in ad hoc fashion due to the lack of this knowledge. With large enough computers it would be possible to solve the MHD equations numerically under stellar conditions. However, the problem is too large by several orders of magnitude for the present day and any foreseeable computers. In our view, a combination of mean-field modelling and local 3D calculations is a more fruitful approach. The large-scale structures are well described by global mean-field models, provided that the small-scale turbulent effects are adequately parameterized. The latter can be achieved by performing local calculations which allow a much higher spatial resolution than what can be achieved in direct global calculations. In the present dissertation three aspects of mean-field theories and models of stars are studied. Firstly, the basic assumptions of different mean-field theories are tested with calculations of isotropic turbulence and hydrodynamic, as well as magnetohydrodynamic, convection. Secondly, even if the mean-field theory is unable to give the required transport coefficients from first principles, it is in some cases possible to compute these coefficients from 3D numerical models in a parameter range that can be considered to describe the main physical effects in an adequately realistic manner. In the present study, the Reynolds stresses and turbulent heat transport, responsible for the generation of differential rotation, were determined along the mixing length relations describing convection in stellar structure models. Furthermore, the alpha-effect and magnetic pumping due to turbulent convection in the rapid rotation regime were studied. The third area of the present study is to apply the local results in mean-field models, which task we start to undertake by applying the results concerning the alpha-effect and turbulent pumping in mean-field models describing the solar dynamo.

First Measurement of the Ratio of Branching Fractions B(Lambda_b to Lambda_c mu nu)/B(Lambda_b to Lambda_c pi)

The analysis uses data from an integrated luminosity of approximately 172 pb-1 of ppbar collisions at sqrt(s)=1.96 TeV, collected with the CDF II detector at the Fermilab Tevatron. The Lambda_b and B0 relative branching fractions are measured to be: B(Lambda_b to Lambda_c+ mu nu)/B(Lambda_b to Lambda_c+ pi) = 16.6 +- 3.0 (stat) +- 1.0 (syst) +2.6 -3.4 (PDG) +- 0.3 (EBR), B(B0 to D+ mu nu)/B(B0 to D+ pi) = 9.9 +- 1.0 (stat) +- 0.6 (syst) +- 0.4 (PDG) +- 0.5 (EBR), B(B0 to D*+ mu nu)/B(B0 to D*+ pi) = 16.5 +- 2.3 (stat) +- 0.6 (syst) +- 0.5 (PDG) +- 0.8 (EBR) This article also presents measurements of the branching fractions of four new Lambda_b semileptonic decays: Lambda_b to Lambda_c(2595)+ mu nu, Lambda_b to Lambda_c(2625)+ mu nu, Lambda_b to Sigma_c(2455)0 pi mu nu, Lambda_b to Sigma_c(2455)++ pi mu nu, relative to the branching fraction of the Lambda_b to Lambda_c mu nu decay. Finally, the transverse-momentum distribution of Lambda_b baryons produced in p-pbar collisions is measured and found to be significantly different from that of B0 mesons.

First observation of the decay Bs --> Ds K and measurement of the ratio of branching fractions Br(Bs --> DsK)/Br(Bs --> Ds pi)

A combined mass and particle identification fit is used to make the first observation of the decay Bs --> Ds K and measure the branching fraction of Bs --> Ds K relative to Bs --> Ds pi. This analysis uses 1.2 fb^-1 integrated luminosity of pbar-p collisions at sqrt(s) = 1.96 TeV collected with the CDF II detector at the Fermilab Tevatron collider. We observe a Bs --> Ds K signal with a statistical significance of 8.1 sigma and measure Br(Bs --> Ds K)/Br(Bs --> Ds pi) = 0.097 +- 0.018(stat) +- 0.009(sys).

First Measurement of the b-Jet Cross Section in Events with a W Boson in pp̅ Collisions at √s=1.96 TeV

The cross section for jets from b quarks produced with a W boson has been measured in ppbar collision data from 1.9/fb of integrated luminosity recorded by the CDF II detector at the Tevatron. The W+b-jets process poses a significant background in measurements of top quark production and prominent searches for the Higgs boson. We measure a b-jet cross section of 2.74 +- 0.27(stat.) +- 0.42(syst.) pb in association with a single flavor of leptonic W boson decay over a limited kinematic phase space. This measured result cannot be accommodated in several available theoretical predictions.

First measurement of the ratio of branching fractions B(Λb0→Λc+μ-ν̅ μ)/B(Λb0→Λc+π-)

This article presents the first measurement of the ratio of branching fractions B(Λb0→Λc+μ-ν̅ μ)/B(Λb0→Λc+π-). Measurements in two control samples using the same technique B(B̅ 0→D+μ-ν̅ μ)/B(B̅ 0→D+π-) and B(B̅ 0→D*(2010)+μ-ν̅ μ)/B(B̅ 0→D*(2010)+π-) are also reported. The analysis uses data from an integrated luminosity of approximately 172  pb-1 of pp̅ collisions at √s=1.96  TeV, collected with the CDF II detector at the Fermilab Tevatron. The relative branching fractions are measured to be B(Λb0→Λc+μ-ν̅ μ)/B(Λb0→Λc+π-)=16.6±3.0(stat)±1.0(syst)+2.6/-3.4(PDG)±0.3(EBR), B(B̅ 0→D+μ-ν̅ μ)/B(B̅ 0→D+π-)= 9.9±1.0(stat)±0.6(syst)±0.4(PDG)±0.5(EBR), and B(B̅ 0→D*(2010)+μ-ν̅ μ)/B(B̅ 0→D*(2010)+π-)=16.5±2.3(stat)± 0.6(syst)±0.5(PDG)±0.8(EBR). The uncertainties are from statistics (stat), internal systematics (syst), world averages of measurements published by the Particle Data Group or subsidiary measurements in this analysis (PDG), and unmeasured branching fractions estimated from theory (EBR), respectively. This article also presents measurements of the branching fractions of four new Λb0 semileptonic decays: Λb0→Λc(2595)+μ-ν̅ μ, Λb0→Λc(2625)+μ-ν̅ μ, Λb0→Σc(2455)0π+μ-ν̅ μ, and Λb0→Σc(2455)++π-μ-ν̅ μ, relative to the branching fraction of the Λb0→Λc+μ-ν̅ μ decay. Finally, the transverse-momentum distribution of Λb0 baryons produced in pp̅ collisions is measured and found to be significantly different from that of B̅ 0 mesons, which results in a modification in the production cross-section ratio σΛb0/σB̅ 0 with respect to the CDF I measurement.

First Observation of B̅ s0→Ds±K∓ and Measurement of the Ratio of Branching Fractions B(B̅ s0→Ds±K∓)/B(B̅ s0→Ds+π-)

A combined mass and particle identification fit is used to make the first observation of the decay B̅ s0→Ds±K∓ and measure the branching fraction of B̅ s0→Ds±K∓ relative to B̅ s0→Ds+π-. This analysis uses 1.2  fb-1 integrated luminosity of pp̅ collisions at √s=1.96  TeV collected with the CDF II detector at the Fermilab Tevatron collider. We observe a B̅ s0→Ds±K∓ signal with a statistical significance of 8.1σ and measure B(B̅ s0→Ds±K∓)/B(B̅ s0→Ds+π-)=0.097±0.018(stat)±0.009(syst).