On Games on Non-Wellfounded Sets and Stationary Sets

In this thesis we study a few games related to non-wellfounded and stationary sets. Games have turned out to be an important tool in mathematical logic ranging from semantic games defining the truth of a sentence in a given logic to for example games on real numbers whose determinacies have important effects on the consistency of certain large cardinal assumptions. The equality of non-wellfounded sets can be determined by a so called bisimulation game already used to identify processes in theoretical computer science and possible world models for modal logic. Here we present a game to classify non-wellfounded sets according to their branching structure. We also study games on stationary sets moving back to classical wellfounded set theory. We also describe a way to approximate non-wellfounded sets with hereditarily finite wellfounded sets. The framework used to do this is domain theory. In the Banach-Mazur game, also called the ideal game, the players play a descending sequence of stationary sets and the second player tries to keep their intersection stationary. The game is connected to precipitousness of the corresponding ideal. In the pressing down game first player plays regressive functions defined on stationary sets and the second player responds with a stationary set where the function is constant trying to keep the intersection stationary. This game has applications in model theory to the determinacy of the Ehrenfeucht-Fraisse game. We show that it is consistent that these games are not equivalent.

Glutamatergic Modulation of Cue-Induced Drug-Seeking Behavior in the Rat

The characteristics of drug addiction include compulsive drug use despite negative consequences and re-occurring relapses, returns to drug use after a period of abstinence. Therefore, relapse prevention is one of the major challenges for the treatment of drug addiction. There are three main factors capable of inducing craving for drugs and triggering relapse long after cessation of drug use and dissipation of physical withdrawal signs: stress, re-exposure to the drug, and environmental stimuli (cues) that have been previously associated with drug use. The neurotransmitters dopamine and glutamate have been implicated in the modulation of drug-seeking behavior. The aim of this project was to examine the role of glutamatergic neurotransmission in relapse triggered by conditioned drug-associated stimuli. The focus was on clarifying whether relapse to drug seeking can be attenuated by blockade of glutamate receptors. In addition, as the nucleus accumbens has been proposed to participate in the modulation of drug-seeking behavior, the effects of glutamate receptor blockade in this brain structure on cue-induced relapse were investigated. The studies employed animals models in which rats were trained to press a lever in a test cage to obtain alcohol or intravenous cocaine. Drug availability was paired with distinct olfactory, auditory, or visual stimuli. This phase was followed by extinction training, during which lever presses did not result in the presentation of the drug or the drug-associated stimuli. Extinction training led to a gradual decrease in the number of lever presses during test sessions. Relapse was triggered by presenting the rats with the drug-associated stimuli in the absence of alcohol or cocaine. The drug-associated stimuli were alone capable of inducing resumption of lever pressing and maintaining this behavior during repeated testing. The number of lever presses during a session represented the intensity of drug-seeking and relapse behavior. The results suggest that glutamatergic neurotransmission is involved in the modulation of drug-seeking behavior. Both alcohol and cocaine relapse were attenuated by systemic pretreatment with glutamate receptor antagonists. However, differences were found in the ability of ionotropic AMPA/kainate and NMDA receptor antagonists to regulate drug-seeking behavior. The AMPA/kainate antagonists CNQX and NBQX, and L-701,324, an antagonist with affinity for the glycine site of the NMDA receptor, attenuated cue-induced drug seeking, whereas the competitive NMDA antagonist CGP39551 and the NMDA channel blocker MK-801 were without effect. MPEP, an antagonist at metabotropic mGlu5 glutamate receptors, also decreased drug seeking, but its administration was found to lead to conditioned suppression of behavior during subsequent treatment sessions, suggesting that MPEP may have undesirable side effects. The mGluR2/3 agonist LY379268 and the mGluR8 agonist (S)-3,4-DCPG decreased both cue-induced relapse to alcohol drinking and alcohol consumption. Control experiments showed however that administration of the agonists was accompanied by motor suppression limiting their usefulness. Administration of the AMPA/kainate antagonist CNQX, the NMDA antagonist D-AP5, and the mGluR5 antagonist MPEP into the nucleus accumbens resulted also in a decrease in drug-seeking behavior, suggesting that the nucleus accumbens is at least one of the anatomical sites regulating drug seeking and mediating the effects of glutamate receptor antagonists on this behavior.

Improving GPS time series for geodynamic studies

Accurate and stable time series of geodetic parameters can be used to help in understanding the dynamic Earth and its response to global change. The Global Positioning System, GPS, has proven to be invaluable in modern geodynamic studies. In Fennoscandia the first GPS networks were set up in 1993. These networks form the basis of the national reference frames in the area, but they also provide long and important time series for crustal deformation studies. These time series can be used, for example, to better constrain the ice history of the last ice age and the Earth s structure, via existing glacial isostatic adjustment models. To improve the accuracy and stability of the GPS time series, the possible nuisance parameters and error sources need to be minimized. We have analysed GPS time series to study two phenomena. First, we study the refraction in the neutral atmosphere of the GPS signal, and, second, we study the surface loading of the crust by environmental factors, namely the non-tidal Baltic Sea, atmospheric load and varying continental water reservoirs. We studied the atmospheric effects on the GPS time series by comparing the standard method to slant delays derived from a regional numerical weather model. We have presented a method for correcting the atmospheric delays at the observational level. The results show that both standard atmosphere modelling and the atmospheric delays derived from a numerical weather model by ray-tracing provide a stable solution. The advantage of the latter is that the number of unknowns used in the computation decreases and thus, the computation may become faster and more robust. The computation can also be done with any processing software that allows the atmospheric correction to be turned off. The crustal deformation due to loading was computed by convolving Green s functions with surface load data, that is to say, global hydrology models, global numerical weather models and a local model for the Baltic Sea. The result was that the loading factors can be seen in the GPS coordinate time series. Reducing the computed deformation from the vertical time series of GPS coordinates reduces the scatter of the time series; however, the long term trends are not influenced. We show that global hydrology models and the local sea surface can explain up to 30% of the GPS time series variation. On the other hand atmospheric loading admittance in the GPS time series is low, and different hydrological surface load models could not be validated in the present study. In order to be used for GPS corrections in the future, both atmospheric loading and hydrological models need further analysis and improvements.

Late Pleistocene and Holocene environmental evolution of the Murchisonfjorden area, Nordaustlandet, Svalbard

The purpose of this study was to establish the palaeoenvironmental conditions during the late Quaternary in Murchisonfjorden, Nordaustlandet, based on foraminiferal assemblage compositions, and to determine the onset and termination of the Weichselian glaciations. The foraminiferal assemblage compositions were studied in marine sediments from three different archives, from sections next to the present shoreline in the Bay of Isvika, from a core in the Bay of Isvika and from a core from Lake Einstaken. OSL and AMS 14C age determinations were performed on samples from the three archives, and the results show deposition of marine sediments during ice-free periods of the Early Weichselian, the Middle Weichselian and the Late Weichselian, as well as during the Holocene in the investigated area. Marine sediments from the Early and Middle Weichselian were sampled from isostatically uplifted sections along the present shoreline.Sediments from the transition from the Late Weichselian to early Holocene time intervals were found in the bottom of the core from Lake Einstaken. Holocene sediments were investigated in the sections and in the core from the Bay of Isvika. The marine sediments from the sections are comprised of five benthic foraminiferal assemblages. The Early Weichselian is represented by two foraminiferal assemblages, the Middle Weichselian, the early and the late Holocene each by one. All five foraminiferal assemblages were deposited in glacier-distal shallow-water environments, which had a connection to the open ocean. Changes in the composition of the assemblages can be ascribed to differences in the bottom-water currents and changes in the salinity. The Middle Weichselian assemblage is of special importance, because it is the first foraminiferal assemblage to be described from this time interval from Svalbard. Four benthic foraminiferal assemblages were deposited shortly before the marine to lacustrine transition at the boundary between the Late Weichselian and Holocene in Lake Einstaken. The foraminiferal assemblages show a change from a high-arctic, normal marine shallow-water environment to an even shallower environment with highly fluctuating salinity. The analyses of the core from 100 m water depth in the Bay of Isvika resulted in the determination of four foraminiferal assemblages. These indicated changes from a glacier-proximal environment during deglaciation, to a more glacier-distal environment during the Early Holocene. This was followed by a period with a marked change to a considerably cooler environment and finally to a closed fjord environment in the middle and late Holocene times. Additional sedimentological analyses of the marine and glacially derived sediments from the uplifted sections, as well as observations of multiple striae on the bedrock, observations of deeply weathered bedrock and findings of tills interlayered with marine sediments complete the investigations in the study area. They indicate weak glacial erosion in the study area. It can be concluded that marine deposition occurred in the investigated area during three time intervals in the Weichselian and during most of the Holocene. The foraminiferal assemblages in the Holocene are characterized by a transition from glacier-proximal to glacier-distal faunas. The palaeogeographical change from an open fjord to a closed fjord environment is a result of the isostatic uplift of the area after the LGM and is clearly reflected in the foraminiferal assemblages. Another influencing factor on the foraminiferal assemblage composition are changes in the inflow of warmer Atlantic waters to the study area.

Trafficking in human beings and Foucauldian biopower : A case study in the expansion of the human rights phenomenon

Trafficking in human beings has become one of the most talked about criminal concerns of the 21st century. But this is not all that it has become. Trafficking has also been declared as one of the most pressing human rights issues of our time. In this sense, it has become a part of the expansion of the human rights phenomenon. Although it is easy to see that the crime of trafficking violates several of the human rights of its victims, it is still, in its essence, a fairly conventional although particularly heinous and often transnational crime, consisting of acts between private actors, and lacking, therefore, the vertical effect associated traditionally with human rights violations. This thesis asks, then, why, and how, has the anti-trafficking campaign been translated in human rights language. And even more fundamentally: in light of the critical, theoretical studies surrounding the expansion of the human rights phenomenon, especially that of Costas Douzinas, who has declared that we have come to the end of human rights as a consequence of the expansion and bureaucratization of the phenomenon, can human rights actually bring salvation to the victims of trafficking? The thesis demonstrates that the translation process of the anti-trafficking campaign into human rights language has been a complicated process involving various actors, including scholars, feminist NGOs, local activists and global human rights NGOs. It has also been driven by a complicated web of interests, the most prevalent one the sincere will to help the victims having become entangled with other aims, such as political, economical, and structural goals. As a consequence of its fragmented background, the human rights approach to trafficking seeks still its final form, consisting of several different claims. After an assessment of these claims from a legal perspective, this thesis concludes that the approach is most relevant regarding the mistreatment of victims of trafficking in the hands of state authorities. It seems to be quite common that authorities have trouble identifying the victims of trafficking, which means that the rights granted to themin international and national documents are not realized in practice, but victims of trafficking are systematically deported as illegal immigrants. It is argued that in order to understand the measures of the authorities, and to assess the usefulness of human rights, it is necessary to adopt a Foucauldian perspective and to observe the measures as biopolitical defence mechanisms. From a biopolitical perspective, the victims of trafficking can be seen as a threat to the population a threat that must be eliminated either by assimilating them to the main population with the help of disciplinary techniques, or by excluding them completely from the society. This biopolitical aim is accomplished through an impenetrable net of seemingly insignificant practices and discourses that not even the participants are aware of. As a result of these practices and discourses, trafficking victims only very few of fit the myth of the perfect victim, produced by biopolitical discourses become invisible and therefore subject to deportation as (risky) illegal immigrants, turning them into bare life in the Agambenian sense, represented by the homo sacer, who cannot be sacrificed, yet does not enjoy the protection of the society and its laws. It is argued, following Jacques Rancière and Slavoj i ek, that human rights can, through their universality and formal equality, provide bare life the tools to formulate political claims and therefore utilize their politicization through their exclusion to return to the sphere of power and politics. Even though human rights have inevitably become entangled with biopolitical practices, they are still perhaps the most efficient way to challenge biopower. Human rights have not, therefore, become useless for the victims of trafficking, but they must be conceived as a universal tool to formulate political claims and challenge power .In the case of trafficking this means that human rights must be utilized to constantly renegotiate the borders of the problematic concept of victim of trafficking created by international instruments, policies and discourses, including those that are sincerely aimed to provide help for the victims.