A feasible theory of truth over combinatory algebra

We define an applicative theory of truth TPT which proves totality exactly for the polynomial time computable functions. TPT has natural and simple axioms since nearly all its truth axioms are standard for truth theories over an applicative framework. The only exception is the axiom dealing with the word predicate. The truth predicate can only reflect elementhood in the words for terms that have smaller length than a given word. This makes it possible to achieve the very low proof-theoretic strength. Truth induction can be allowed without any constraints. For these reasons the system TPT has the high expressive power one expects from truth theories. It allows embeddings of feasible systems of explicit mathematics and bounded arithmetic. The proof that the theory TPT is feasible is not easy. It is not possible to apply a standard realisation approach. For this reason we develop a new realisation approach whose realisation functions work on directed acyclic graphs. In this way, we can express and manipulate realisation information more efficiently.

Detection of Mycoplasma conjunctivae in the eyes of healthy, free-ranging Alpine ibex: possible involvement of Alpine ibex as carriers for the main causing agent of infectious keratoconjunctivitis in wild Caprinae

Mycoplasma conjunctivae is considered the major cause of infectious keratoconjunctivitis (IKC) in Alpine ibex (Capra i. ibex) and chamois (Rupicapra r. rupicapra). While it is known that domestic sheep can act as healthy carriers for M. conjunctivae, this question has not been addressed in wild ungulates so far. In this study, bacteriological investigations and field observations were performed to assess whether free-ranging Alpine ibex can be healthy carriers of M. conjunctivae. Among 136 ibex without clinical signs of IKC, M. conjunctivae was identified 26 times (19.1%) by TaqMan PCR. To assess the potential pathogenicity of M. conjunctivae strains isolated from asymptomatic eyes, strains from three healthy ibex and from 15 IKC-ibex and IKC-chamois were analysed genetically by DNA sequence analysis of the variable part of the lppS gene. No significant differences were observed between strains from asymptomatic and clinically affected animals, reflecting the assumption that healthy ibex may act as carriers for M. conjunctivae strains that may be pathogenic for other individuals. Our results further indicate that development of IKC is associated with M. conjunctivae load in the eyes. In addition, a questionnaire survey revealed that IKC is generally less common in ibex than chamois and that infection in wild ungulates is not necessarily linked to the presence of sheep. These data support the hypothesis that apparently healthy ibex may be important in the epizootiology of IKC and indicate that host predilection may play a role in IKC development.

Prevalence of paunch calf syndrome carriers in Italian Romagnola cattle.

The term 'paunch calf syndrome' encompasses the multi-organic lethal developmental dysplasia reported in the Romagnola breed of cattle and is characterised by facial deformities, an enlarged and floating abdomen containing considerable abdominal effusion, and hepatic fibrosis. Paunch calf syndrome is caused by a missense mutation in the KDM2B gene (c.2503G>A) that is thought to lead to an amino acid exchange (p.D835N). In this study, the prevalence of carriers of the mutant KDM2B allele (and thus the frequency of the allele) was assessed in selected subpopulations of Romagnola cattle. The prevalence of carriers within top-ranked Romagnola sires over the years 2007-2012 was 29.3% (allele frequency 14.6%). In young bull calves, 30.9% were carriers with an allele frequency of 15.4%.

Alpine ibex (Capra i. ibex) is not a reservoir for chlamydial infections of domestic ruminants and humans

Chlamydophila (C.) abortus is the most common infectious abortigenic agent in small domestic ruminants in Switzerland. In contrast, the knowledge about chlamydiae in wild ruminants is scarce. As interactions between livestock and Alpine ibex (Capra i. ibex) occur on alpine pastures, the question raises if wild ruminants could play a role as carriers of chlamydiae. Thus, we investigated the prevalence of chlamydiae in Alpine ibex in Switzerland. In total, 624 sera, 676 eye swabs, 84 organ samples and 51 faecal samples from 664 ibex were investigated. Serum samples were tested by two commercial ELISA kits specific for C. abortus. Eye swabs, organs and faecal samples were examined by a Chlamydiaceae-specific real-time polymerase chain reaction (PCR). Positive cases were further investigated by the ArrayTube (AT) microarray method for chlamydial species determination. Of 624 serum samples investigated, 612 animals were negative, whereas nine sera (1.5%) reacted positively in one of the two tests and three sera showed an inconclusive result. Eye swabs of seven out of 412 ibex (1.7%) were tested positive for Chlamydiaceae by real-time PCR. By AT microarray, Chlamydophila (C.) pecorum was identified in two animals, Chlamydophila (C.) pneumoniae was detected in one animal and a mixed infection with C. abortus and C. pecorum was found in four animals. Organs and faecal samples were all negative by real-time PCR analysis. In summary, we conclude that C. abortus is not a common infectious agent in the Swiss ibex population. To our knowledge, this is the first description of C. pneumoniae in ibex. Further studies are necessary to elucidate the situation in other species of wild ruminants as chamois (Rupicapra r. rupicapra), red deer (Cervus elaphus) and roe deer (Capreolus c. capreolus) in Switzerland.

Bacterial infections in horses: a retrospective study at the University Equine Clinic of Bern

Bacterial infections present a major challenge in equine medicine. Therapy should be based on bacteriological diagnosis to successfully minimize the increasing number of infections caused by multidrug-resistant bacteria. The present study is a retrospective analysis of bacteriological results from purulent infections in horses admitted at the University Equine Clinic of Bern from 2004 to 2008. From 378 samples analyzed, 557 isolates were identified, of which Staphylococcus aureus, Streptococcus equi subsp. zooepidemicus and coliforms were the most common. Special attention was paid to infections with methicillin-resistant S. aureus (MRSA) ST398 and a non-MRSA, multidrug-resistant S. aureus clone ST1 (BERN100). Screening of newly-admitted horses showed that 2.2 % were carriers of MRSA. Consequent hygiene measures taken at the Clinic helped to overcome a MRSA outbreak and decrease the number of MRSA infections.

Hypermethylation of the DPYD promoter region is not a major predictor of severe toxicity in 5-fluorouracil based chemotherapy

BACKGROUND: The activity of dihydropyrimidine dehydrogenase (DPD), the key enzyme of pyrimidine catabolism, is thought to be an important determinant for the occurrence of severe toxic reactions to 5-fluorouracil (5-FU), which is one of the most commonly prescribed chemotherapeutic agents for the treatment of solid cancers. Genetic variation in the DPD gene (DPYD) has been proposed as a main factor for variation in DPD activity in the population. However, only a small proportion of severe toxicities in 5-FU based chemotherapy can be explained with such rare deleterious DPYD mutations resulting in severe enzyme deficiencies. Recently, hypermethylation of the DPYD promoter region has been proposed as an alternative mechanism for DPD deficiency and thus as a major cause of severe 5-FU toxicity. METHODS: Here, the prognostic significance of this epigenetic marker with respect to severe 5-FU toxicity was assessed in 27 cancer patients receiving 5-FU based chemotherapy, including 17 patients experiencing severe toxic side effects following drug administration, none of which were carriers of a known deleterious DPYD mutation, and ten control patients. The methylation status of the DPYD promoter region in peripheral blood mononuclear cells was evaluated by analysing for each patient between 19 and 30 different clones of a PCR-amplified 209 base pair fragment of the bisulfite-modified DPYD promoter region. The fragments were sequenced to detect bisulfite-induced, methylation-dependent sequence differences. RESULTS: No evidence of DPYD promoter methylation was observed in any of the investigated patient samples, whereas in a control experiment, as little as 10% methylated genomic DNA could be detected. CONCLUSION: Our results indicate that DYPD promoter hypermethylation is not of major importance as a prognostic factor for severe toxicity in 5-FU based chemotherapy.

Diversity of the basic defect of homozygous CFTR mutation genotypes in humans

BACKGROUND: Knowledge of how CFTR mutations other than F508del translate into the basic defect in cystic fibrosis (CF) is scarce due to the low incidence of homozygous index cases. METHODS: 17 individuals who are homozygous for deletions, missense, stop or splice site mutations in the CFTR gene were investigated for clinical symptoms of CF and assessed in CFTR function by sweat test, nasal potential difference and intestinal current measurement. RESULTS: CFTR activity in sweat gland, upper airways and distal intestine was normal for homozygous carriers of G314E or L997F and in the range of F508del homozygotes for homozygous carriers of E92K, W1098L, R553X, R1162X, CFTRdele2(ins186) or CFTRdele2,3(21 kb). Homozygotes for M1101K, 1898+3 A-G or 3849+10 kb C-T were not consistent CF or non-CF in the three bioassays. 14 individuals exhibited some chloride conductance in the airways and/or in the intestine which was identified by the differential response to cAMP and DIDS as being caused by CFTR or at least two other chloride conductances. DISCUSSION: CFTR mutations may lead to unusual electrophysiological or clinical manifestations. In vivo and ex vivo functional assessment of CFTR function and in-depth clinical examination of the index cases are indicated to classify yet uncharacterised CFTR mutations as either disease-causing lesions, risk factors, modifiers or neutral variants.

Active uptake of dendritic cell-derived exovesicles by epithelial cells induces the release of inflammatory mediators through a TNF-alpha-mediated pathway

Dendritic cells (DCs) can release hundreds of membrane vesicles, called exovesicles, which are able to activate resting DCs and distribute antigen. Here, we examined the role of mature DC-derived exovesicles in innate and adaptive immunity, in particular their capacity to activate epithelial cells. Our analysis of exovesicle contents showed that exovesicles contain major histocompatibility complex-II, CD40, and CD83 molecules in addition to tumor necrosis factor (TNF) receptors, TNFRI and TNFRII, and are important carriers of TNF-alpha. These exovesicles are rapidly internalized by epithelial cells, inducing the release of cytokines and chemokines, but do not transfer an alloantigen-presenting capacity to epithelial cells. Part of this activation appears to involve the TNF-alpha-mediated pathway, highlighting the key role of DC-derived exovesicles, not only in adaptive immunity, but also in innate immunity by triggering innate immune responses and activating neighboring epithelial cells to release cytokines and chemokines, thereby amplifying the magnitude of the innate immune response.

Detection of Streptococcus pneumoniae strain cocolonization in the nasopharynx

Colonization with more than one distinct strain of the same species, also termed cocolonization, is a prerequisite for horizontal gene transfer between pneumococcal strains that may lead to change of the capsular serotype. Capsule switch has become an important issue since the introduction of conjugated pneumococcal polysaccharide vaccines. There is, however, a lack of techniques to detect multiple colonization by S. pneumoniae strains directly in nasopharyngeal samples. Two hundred eighty-seven nasopharyngeal swabs collected during the prevaccine era within a nationwide surveillance program were analyzed by a novel technique for the detection of cocolonization, based on PCR amplification of a noncoding region adjacent to the pneumolysin gene (plyNCR) and restriction fragment length polymorphism (RFLP) analysis. The numbers of strains and their relative abundance in cocolonized samples were determined by terminal RFLP. The pneumococcal carriage rate found by PCR was 51.6%, compared to 40.0% found by culture. Cocolonization was present in 9.5% (10/105) of samples, most (9/10) of which contained two strains in a ratio of between 1:1 and 17:1. Five of the 10 cocolonized samples showed combinations of vaccine types only (n = 2) or combinations of nonvaccine types only (n = 3). Carriers of multiple pneumococcal strains had received recent antibiotic treatment more often than those colonized with a single strain (33% versus 9%, P = 0.025). This new technique allows for the rapid and economical study of pneumococcal cocolonization in nasopharyngeal swabs. It will be valuable for the surveillance of S. pneumoniae epidemiology under vaccine selection pressure.

Is the development of infectious keratoconjunctivitis in Alpine ibex and Alpine chamois influenced by topographic features?

Infectious keratoconjunctivitis (IKC) caused by Mycoplasma conjunctivae is a widespread ocular affection of free-ranging Caprinae in the Alpine arc. Along with host and pathogen characteristics, it has been hypothesized that environmental factors such as UV light are involved in the onset and course of the disease. This study aimed at evaluating the role of topographic features as predisposing or aggravating factors for IKC in Alpine chamois (Rupicapra rupicapra rupicapra) and Alpine ibex (Capra ibex ibex). Geospatial analysis was performed to assess the effect of aspect (northness) and elevation on the severity of the disease as well as on the mycoplasmal load in the eyes of affected animals, using data from 723 ibex and chamois (583 healthy animals, 105 IKC-affected animals, and 35 asymptomatic carriers of M. conjunctivae), all sampled in the Swiss Alps between 2008 and 2010. An influence of northness was not found, except that ibex with moderate and severe signs of IKC seem to prefer more north-oriented slopes than individuals without corneal lesions, possibly hinting at a sunlight sensitivity consequent to the disease. In contrast, results suggest that elevation influences the disease course in both ibex and chamois, which could be due to altitude-associated environmental conditions such as UV radiation, cold, and dryness. The results of this study support the hypothesis that environmental factors may play a role in the pathogenesis of IKC.