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.

Redox-linked proton transfer by cytochrome c oxidase

The respiratory chain is found in the inner mitochondrial membrane of higher organisms and in the plasma membrane of many bacteria. It consists of several membrane-spanning enzymes, which conserve the energy that is liberated from the degradation of food molecules as an electrochemical proton gradient across the membrane. The proton gradient can later be utilized by the cell for different energy requiring processes, e.g. ATP production, cellular motion or active transport of ions. The difference in proton concentration between the two sides of the membrane is a result of the translocation of protons by the enzymes of the respiratory chain, from the negatively charged (N-side) to the positively charged side (P-side) of the lipid bilayer, against the proton concentration gradient. The endergonic proton transfer is driven by the flow of electrons through the enzymes of the respiratory chain, from low redox-potential electron donors to acceptors of higher potential, and ultimately to oxygen. Cytochrome c oxidase is the last enzyme in the respiratory chain and catalyzes the reduction of dioxygen to water. The redox reaction is coupled to proton transport across the membrane by a yet unresolved mechanism. Cytochrome c oxidase has two proton-conducting pathways through which protons are taken up to the interior part of the enzyme from the N-side of the membrane. The K-pathway transfers merely substrate protons, which are consumed in the process of water formation at the catalytic site. The D-pathway transfers both substrate protons and protons that are pumped to the P-side of the membrane. This thesis focuses on the role of two conserved amino acids in proton translocation by cytochrome c oxidase, glutamate 278 and tryptophan 164. Glu278 is located at the end of the D-pathway and is thought to constitute the branching point for substrate and pumped protons. In this work, it was shown that although Glu278 has an important role in the proton transfer mechanism, its presence is not an obligatory requirement. Alternative structural solutions in the area around Glu278, much like the ones present in some distantly related heme-copper oxidases, could in the absence of Glu278 support the formation of a long hydrogen-bonded water chain through which proton transfer from the D-pathway to the catalytic site is possible. The other studied amino acid, Trp164, is hydrogen bonded to the ∆-propionate of heme a3 of the catalytic site. Mutation of this amino acid showed that it may be involved in regulation of proton access to a proton acceptor, a pump site, from which the proton later is expelled to the P-side of the membrane. The ion pair that is formed by the ∆-propionate of heme a3 and arginine 473 is likely to form a gate-like structure, which regulates proton mobility to the P-side of the membrane. The same gate may also be part of an exit path through which water molecules produced at the catalytically active site are removed towards the external side of the membrane. Time-resolved optical and electrometrical experiments with the Trp164 to phenylalanine mutant revealed a so far undetected step in the proton pumping mechanism. During the A to PR transition of the catalytic cycle, a proton is transferred from Glu278 to the pump site, located somewhere in the vicinity of the ∆-propionate of heme a3. A mechanism for proton pumping by cytochrome c oxidase is proposed on the basis of the presented results and the mechanism is discussed in relation to some relevant experimental data. A common proton pumping mechanism for all members of the heme-copper oxidase family is moreover considered.

Neurotrophins and neuronal plasticity in the action of antidepressants and morphine

Neuronal plasticity is a well characterized phenomenon in the developing and adult brain. It refers to capasity of a single neuron to modify morphology, synaptic connections and activity. Neuronal connections and capacity for plastic events are compromised in several pathological disorders, such as major depression. In addition, neuronal atrophy has been reported in depressive patients. Neurotrophins are a group of secretory proteins functionally classified as neuronal survival factors. Neurotrophins, especially brain derived neurotrophic factor (BDNF), have also been associated with promoting neuronal plasticity in dysfunctional neuronal networks. Chronic antidepressant treatment increases plastic events including neurogenesis and arborization and branching of neurites in distinct brain areas, such as the hippocampus. One suggested mode of action is where the antidepressants elevate the synaptic levels of BDNF thus further activating several signaling cascades via trkB-receptor. In our studies we have tried to clarify the mechanisms of action for antidepressants and to resolve the role of BDNF in this process. We found that chronic antidepressant treatment increases amount of markers of neuronal plasticity in both hippocampus and in the medial prefrontal cortex, both of which are closely linked to the etiology of major depression. Secondary actions of antidepressants include rapid activation of the trkB receptor followed by a phosphorylation of transcription factor CREB. In addition, activation of CREB by phosphorylation appears responsible for the regulation of the expression of the BDNF gene. Using transgenic mice we found that BDNF-induced trkB-mediated signaling proved crucial for the behavioral effects of antidepressants in the forced swimming test and for the survival of newly-born neurons in the adult hippocampus. Antidepressants not only increased neurogenesis in the adult hippocampus but also elevated the turnover of hippocampal neurons. During these studies we also discovered that another trkB ligand, NT-4, is involved in morphine-mediated anti-nociception and tolerance. These results present a novel role for trkB-mediated signaling in plastic events present in the opioid system. This thesis evaluates neuronal plasticity and trkB as a target for future antidepressant treatments.

CADASIL: molecular studies on the most common hereditary vascular dementing disorder

Cerebral Autosomal Dominant Arteriopathy with Subcortical Infarcts and Leukoencephalopathy (CADASIL) is the most common hereditary vascular dementia. CADASIL is a systemic disease of small and medium-sized arteries although the symptoms are almost exclusively neurological, including migraineous headache, recurrent ischemic episodes, cognitive impairment and, finally, subcortical dementia. CADASIL is caused by over 170 different mutations in the NOTCH3 gene, which encodes a receptor expressed in adults predominantly in the vascular smooth muscle cells. The function of NOTCH3 is not crucial for embryonic development but is needed after birth. NOTCH3 directs postnatal arterial maturation and helps to maintain arterial integrity. It is involved in regulation of vascular tone and in the wound healing of a vascular injury. In addition, NOTCH3 promotes cell survival by inducing expression of anti-apoptotic proteins. NOTCH3 is a membrane-spanning protein with a large extracellular domain (N3ECD) containing 34 epidermal growth factor-like (EGF) repeats and a smaller intracellular domain with six ankyrin repeats. All CADASIL mutations are located in the EGF repeats and the majority of the mutations cause gain or loss of one cysteine residue in one of these repeats leading to an odd number of cysteine residues, which in turn leads to misfolding of N3ECD. This misfolding most likely alters the maturation, targetting, degradation and/or function of the NOTCH3 receptor. CADASIL mutations do not seem to affect the canonical NOTCH3 signalling pathway. The main pathological findings are the accumulation of the NOTCH3 extracellular domain on degenerating vascular smooth muscle cells (VSMCs), accumulation of granular osmiophilic material (GOM) in the close vicinity of VSMCs as well as fibrosis and thickening of arterial walls. Narrowing of the arterial lumen and local thrombosis cause insufficient blood flow, mainly in small arteries of the cerebral white matter, resulting in tissue damage and lacunar infarcts. CADASIL is suspected in patients with a suggestive family history and clinical picture as well as characteristic white matter alterations in magnetic resonance imaging. A definitive verification of the diagnosis can be achieved by identifying a pathogenic mutation in the NOTCH3 gene or through the detection of GOM by electron microscopy. To understand the pathology underlying CADASIL, we have generated a unique set of cultured vascular smooth muscle cell (VSMC) lines from umbilical cord, placental, systemic and cerebral arteries of CADASIL patients and controls. Analyses of these VSMCs suggest that mutated NOTCH3 is misfolded, thus causing endoplasmic reticulum stress, activation of the unfolded protein response and increased production of reactive oxygen species. In addition, mutation in NOTCH3 causes alterations in actin cytoskeletal structures and protein expression, increased branching and abnormal node formation. These changes correlate with NOTCH3 expression levels within different VSMCs lines, suggesting that the phenotypic differences of SMCs may affect the vulnerability of the VSMCs and, therefore, the pathogenic impact of mutated NOTCH3 appears to vary in the arteries of different locations. Furthermore, we identified PDGFR- as an immediate downstream target gene of NOTCH3 signalling. Activation of NOTCH induces up-regulation of the PDGFR- expression in control VSMCs, whereas this up-regulation is impaired in CADASIL VSMCs and might thus serve as an alternative molecular mechanism that contributes to CADASIL pathology. In addition, we have established the congruence between NOTCH3 mutations and electron microscopic detection of GOM with a view to constructing a strategy for CADASIL diagnostics. In cases where the genetic analysis is not available or the mutation is difficult to identify, a skin biopsy is an easy-to-perform and highly reliable diagnostic method. Importantly, it is invaluable in setting guidelines concerning how far one should proceed with the genetic analyses.

Co-Signaling by Neurotrophic Factors and the Extracellular Matrix for Axonal Growth and Neuronal Survival

Neurotrophic factors (NTFs) and the extracellular matrix (ECM) are important regulators of axonal growth and neuronal survival in mammalian nervous system. Understanding of the mechanisms of this regulation is crucial for the development of posttraumatic therapies and drug intervention in the injured nervous system. NTFs act as soluble, target-derived extracellular regulatory molecules for a wide range of physiological functions including axonal guidance and the regulation of programmed cell death in the nervous system. The ECM determines cell adhesion and regulates multiple physiological functions via short range cell-matrix interactions. The present work focuses on the mechanisms of the action of NTFs and the ECM on axonal growth and survival of cultured sensory neurons from dorsal root ganglia (DRG). We first examined signaling mechanisms of the action of the glial cell line-derived neurotrophic factor (GDNF) family ligands (GFLs) on axonal growth. GDNF, neurturin (NRTN) and artemin (ART) but not persephin (PSPN) promoted axonal initiation in cultured DRG neurons from young adult mice. This effect required Src family kinase (SFK) activity. In neurons from GFRalpha2-deficient mice, NRTN did not significantly promote axonal initiation. GDNF and NRTN induced extensive lamellipodia formation on neuronal somata and growth cones. This study suggested that GDNF, NRTN and ARTN may serve as stimulators of nerve regeneration under posttraumatic conditions. Consequently we studied the convergence of signaling pathways induced by NTFs and the ECM molecule laminin in the intracellular signaling network that regulates axonal growth. We demonstrated that co-stimulation of DRG neurons with NTFs (GDNF, NRTN or nerve growth factor (NGF)) and laminin leads to axonal growth that requires activation of SFKs. A different, SFK-independent signaling pathway evoked axonal growth on laminin in the absence of the NTFs. In contrast, axonal branching was regulated by SFKs both in the presence and in the absence of NGF. We proposed and experimentally verified a Boolean model of the signaling network triggered by NTFs and laminin. Our results put forward an approach for predictable, Boolean logics-driven pharmacological manipulation of a complex signaling network. Finally we found that N-syndecan, the receptor for the ECM component HB-GAM was required for the survival of neonatal sensory neurons in vitro. We demonstrated massive cell death of cultured DRG neurons from mice deficient in the N-syndecan gene as compared to wild type controls. Importantly, this cell death could not be prevented by NGF the neurotrophin which activates multiple anti-apoptotic cascades in DRG neurons. The survival deficit was observed during first postnatal week. By contrast, DRG neurons from young adult N-syndecan knock-out mice exhibited normal survival. This study identifies a completely new syndecan-dependent type of signaling that regulates cell death in neurons.

Search for a Fermiophobic Higgs Boson Decaying into Diphotons in p p-bar Collisions at sqrt{s} = 1.96 TeV

A search for a narrow diphoton mass resonance is presented based on data from 3.0 fb^{-1} of integrated luminosity from p-bar p collisions at sqrt{s} = 1.96 TeV collected by the CDF experiment. No evidence of a resonance in the diphoton mass spectrum is observed, and upper limits are set on the cross section times branching fraction of the resonant state as a function of Higgs boson mass. The resulting limits exclude Higgs bosons with masses below 106 GeV at a 95% Bayesian credibility level (C.L.) for one fermiophobic benchmark model.

Search for the rare decays B+→μ+μ-K+, B0→μ+μ-K*(892)0, and Bs0→μ+μ-ϕ at CDF

We search for b to s\mu^+\mu^- transitions in B meson (B^+, B^0, or B^0_s) decays with 924pb^{-1} of p pbar collisions at sqrt(s)=1.96 TeV collected with the CDF II detector at the Fermilab Tevatron. We find excesses with significances of 4.5, 2.9, and 2.4 standard deviations in the B^+ to \mu^+\mu^-K^+, B^0 to \mu^+\mu^-K^*(892)^0, and B_s^0 to \mu^+\mu^-\phi decay modes, respectively. Using B to J/psi h (h = K^+, K^*(892)^0, phi) decays as normalization channels, we report branching fractions for the previously observed B^+ and B^0 decays, BR(B^+ to \mu^+\mu^-K^+)=(0.59\pm0.15\pm0.04) x 10^{-6}, and BR(B^0 to \mu^+\mu^-K^*(892)^0)=(0.81\pm0.30\pm0.10) x 10^{-6}, where the first uncertainty is statistical, and the second is systematic. These measurements are consistent with the world average results, and are competitive with the best available measurements. We set an upper limit on the relative branching fraction BR(B_s^0 to \mu^+\mu^-\phi)/BR(B_s^0 to J/\psi\phi)

Search for Pair Production of Supersymmetric Top Quarks in Dilepton Events from pp̅ Collisions at √s=1.96 TeV

We present the results of a search for pair production of the supersymmetric partner of the top quark (the stop quark $\tilde{t}_{1}$) decaying to a $b$-quark and a chargino $\chargino$ with a subsequent $\chargino$ decay into a neutralino $\neutralino$, lepton $\ell$, and neutrino $\nu$. Using a data sample corresponding to 2.7 fb$^{-1}$ of integrated luminosity of $p\bar{p}$ collisions at $\sqrt{s} = 1.96$ TeV collected by the CDF II detector, we reconstruct the mass of candidate stop events and fit the observed mass spectrum to a combination of standard model processes and stop quark signal. We find no evidence for $\pairstop$ production and set 95% C.L. limits on the masses of the stop quark and the neutralino for several values of the chargino mass and the branching ratio ${\cal B}(\chargino\to\neutralino\ell^{\pm}\nu)$.

Search for the rare decays B+→μ+μ-K+, B0→μ+μ-K*(892)0, and Bs0→μ+μ-ϕ at CDF

We search for b→sμ+μ- transitions in B meson (B+, B0, or Bs0) decays with 924  pb-1 of pp̅ collisions at √s=1.96  TeV collected with the CDF II detector at the Fermilab Tevatron. We find excesses with significances of 4.5, 2.9, and 2.4 standard deviations in the B+→μ+μ-K+, B0→μ+μ-K*(892)0, and Bs0→μ+μ-ϕ decay modes, respectively. Using B→J/ψh (h=K+, K*(892)0, ϕ) decays as normalization channels, we report branching fractions for the previously observed B+ and B0 decays, B(B+→μ+μ-K+)=(0.59±0.15±0.04)×10-6, and B(B0→μ+μ-K*(892)0)=(0.81±0.30±0.10)×10-6, where the first uncertainty is statistical, and the second is systematic. We set an upper limit on the relative branching fraction B(Bs0→μ+μ-ϕ)/B(Bs0→J/ψϕ)<2.6(2.3)×10-3 at the 95(90)% confidence level, which is the most stringent to date.

Search for a Fermiophobic Higgs Boson Decaying into Diphotons in pp̅ Collisions at √s=1.96 TeV

A search for a narrow diphoton mass resonance is presented based on data from 3.0 fb^{-1} of integrated luminosity from p-bar p collisions at sqrt{s} = 1.96 TeV collected by the CDF experiment. No evidence of a resonance in the diphoton mass spectrum is observed, and upper limits are set on the cross section times branching fraction of the resonant state as a function of Higgs boson mass. The resulting limits exclude Higgs bosons with masses below 106 GeV at a 95% Bayesian credibility level (C.L.) for one fermiophobic benchmark model.

Measurement of the tt̅ cross section in pp̅ collisions at √s=1.96 TeV using dilepton events with a lepton plus track selection

This paper reports a measurement of the cross section for the pair production of top quarks in ppbar collisions at sqrt(s) = 1.96 TeV at the Fermilab Tevatron. The data was collected from the CDF II detector in a set of runs with a total integrated luminosity of 1.1 fb^{-1}. The cross section is measured in the dilepton channel, the subset of ttbar events in which both top quarks decay through t -> Wb -> l nu b where l = e, mu, or tau. The lepton pair is reconstructed as one identified electron or muon and one isolated track. The use of an isolated track to identify the second lepton increases the ttbar acceptance, particularly for the case in which one W decays as W -> tau nu. The purity of the sample may be further improved at the cost of a reduction in the number of signal events, by requiring an identified b-jet. We present the results of measurements performed with and without the request of an identified b-jet. The former is the first published CDF result for which a b-jet requirement is added to the dilepton selection. In the CDF data there are 129 pretag lepton + track candidate events, of which 69 are tagged. With the tagging information, the sample is divided into tagged and untagged sub-samples, and a combined cross section is calculated by maximizing a likelihood. The result is sigma_{ttbar} = 9.6 +/- 1.2 (stat.) -0.5 +0.6 (sys.) +/- 0.6 (lum.) pb, assuming a branching ratio of BR(W -> ell nu) = 10.8% and a top mass of m_t = 175 GeV/c^2.

Search for standard model Higgs boson production in association with a W boson using a neural network discriminant at CDF

We present a search for standard model Higgs boson production in association with a W boson in proton-antiproton collisions at a center of mass energy of 1.96 TeV. The search employs data collected with the CDF II detector that correspond to an integrated luminosity of approximately 1.9 inverse fb. We select events consistent with a signature of a single charged lepton, missing transverse energy, and two jets. Jets corresponding to bottom quarks are identified with a secondary vertex tagging method, a jet probability tagging method, and a neural network filter. We use kinematic information in an artificial neural network to improve discrimination between signal and background compared to previous analyses. The observed number of events and the neural network output distributions are consistent with the standard model background expectations, and we set 95% confidence level upper limits on the production cross section times branching fraction ranging from 1.2 to 1.1 pb or 7.5 to 102 times the standard model expectation for Higgs boson masses from 110 to $150 GeV/c^2, respectively.

Search for narrow resonances lighter than ϒ mesons

We report a search for narrow resonances, produced in $p\bar{p}$ collisions at $\sqrt{s}=1.96$ TeV, that decay into muon pairs with invariant mass between 6.3 and 9.0 GeV/c^2. The data, collected with the CDF~II detector at the Fermilab Tevatron collider, correspond to an integrated luminosity of 630 pb$^{-1}$. We use the dimuon invariant mass distribution to set 90% upper credible limits of about 1% to the ratio of the production cross section times muonic branching fraction of possible narrow resonances to that of the $\Upsilon(1{\rm S})$ meson.

Updated search for the flavor-changing neutral-current decay D0→μ+μ- in pp̅ collisions at √s=1.96 TeV

We report on a search for the flavor-changing neutral-current decay D0 \to {\mu}+ {\mu}- in pp collisions at \surd s = 1.96 TeV using 360 pb-1 of integrated luminosity collected by the CDF II detector at the Fermilab Tevatron collider. A displaced vertex trigger selects long-lived D0 candidates in the {\mu}+ {\mu}-, {\pi}+{\pi}-, and K-{\pi}+ decay modes. We use the Cabibbo-favored D0 \to K-{\pi}+ channel to optimize the selection criteria in an unbiased manner, and the kinematically similar D0 \to{\pi}+ {\pi}- channel for normalization. We set an upper limit on the branching fraction (D0 --> {\mu}+ {\mu}-)

Improved Search for a Higgs Boson Produced in Association with Z→l+l- in pp̅ Collisions at √s=1.96 TeV

We present a search for the standard model Higgs boson produced with a Z boson in 4.1 fb^-1 of data collected with the CDF II detector at the Tevatron. In events consistent with the decay of the Higgs boson to a bottom-quark pair and the Z boson to electrons or muons, we set 95% credibility level upper limits on the ZH production cross section times the H -> b bbar branching ratio. Improved analysis methods enhance signal sensitivity by 20% relative to previous searches beyond the gain due to the larger data sample. At a Higgs boson mass of 115 GeV/c^2 we set a limit of 5.9 times the standard model value.