How unprovable is Rabin's decidability theorem?

We study the strength of set-theoretic axioms needed to prove Rabin's theorem on the decidability of the MSO theory of the infinite binary tree. We first show that the complementation theorem for tree automata, which forms the technical core of typical proofs of Rabin's theorem, is equivalent over the moderately strong second-order arithmetic theory $\mathsf{ACA}_0$ to a determinacy principle implied by the positional determinacy of all parity games and implying the determinacy of all Gale-Stewart games given by boolean combinations of ${\bf \Sigma^0_2}$ sets. It follows that complementation for tree automata is provable from $\Pi^1_3$- but not $\Delta^1_3$-comprehension. We then use results due to MedSalem-Tanaka, M\"ollerfeld and Heinatsch-M\"ollerfeld to prove that over $\Pi^1_2$-comprehension, the complementation theorem for tree automata, decidability of the MSO theory of the infinite binary tree, positional determinacy of parity games and determinacy of $\mathrm{Bool}({\bf \Sigma^0_2})$ Gale-Stewart games are all equivalent. Moreover, these statements are equivalent to the $\Pi^1_3$-reflection principle for $\Pi^1_2$-comprehension. It follows in particular that Rabin's decidability theorem is not provable in $\Delta^1_3$-comprehension.Comment: 21 page

Effects of Frontal Transcranial Direct Current Stimulation on Emotional State and Processing in Healthy Humans

The prefrontal cortex is involved in mood and emotional processing. In patients suffering from depression, the left dorsolateral prefrontal cortex (DLPFC) is hypoactive, while activity of the right DLPFC is enhanced. Counterbalancing these pathological excitability alterations by repetitive transcranial magnetic stimulation (rTMS) or transcranial direct current stimulation (tDCS) improves mood in these patients. In healthy subjects, however, rTMS of the same areas has no major effect, and the effects of tDCS are mixed. We aimed to evaluate the effects of prefrontal tDCS on emotion and emotion-related cognitive processing in healthy humans. In a first study, we administered excitability-enhancing anodal, excitability-diminishing cathodal, and placebo tDCS to the left DLPFC, combined with antagonistic stimulation of the right frontopolar cortex, and tested acute emotional changes by an adjective checklist. Subjective emotions were not influenced by tDCS. Emotional face identification, however, which was explored in a second experiment, was subtly improved by a tDCS-driven excitability modulation of the prefrontal cortex, markedly by anodal tDCS of the left DLPFC for positive emotional content. We conclude that tDCS of the prefrontal cortex improves emotion processing in healthy subjects, but does not influence subjective emotional state

Mine Injury Casualties Report from the Iraq-Kuwait DMZ

After the implementation of the UN Iraq-Kuwait Observation Mission (UNIKOM) at the end of the first Gulf War in 1990, a medical team was set up in 1991 to support the UN troops in their difficult tasks in the demilitarised zone (DMZ), a remote desert area between Kuwait and Iraq. The medical team was designed to take care of the medical treatment for the UNIKOM members and the nomadic people living in the DMZ as pointed out in UN Secretary-General reports S/2001/287 and S/2001/913 on the official UN website

A missense variant in DGKG as a recessive functional variant for hepatic fibrinogen storage disease in Wagyu cattle

Hepatic fibrinogen storage disease (HFSD) was diagnosed in a 5-month-old Wagyu calf with a history of recurrent respiratory disease. It was characterized by lethargy, dehydration, acidemia, and increased liver enzyme activities. Histologically, disseminated hepatocytes were swollen and showed a single, sharply demarcated, faintly eosinophilic cytoplasmic inclusion with a ground-glass appearance, with the nucleus in an eccentric position. Cytoplasmic inclusions did not stain with the periodic acid-Schiff (PAS) reaction. Using a rabbit polyclonal antibody against fibrinogen, the cytoplasmic vacuoles in the hepatocytes stained intensely. Electron microscopy disclosed hepatocytes with membrane-bound cytoplasmic inclusions filled with fine granular material interspersed with a few coarse-grained electron-dense granules. A trio whole-genome sequencing approach identified a deleterious homozygous missense variant in DGKG (p.Thr721Ile). The allele frequency in 209 genotyped Wagyu was 7.2%. This is a report of a DGKG-related recessive inherited disorder in cattle and adds DGKG to the list of candidate genes for HFSD in other species

Measuring the intelligence of an idealized mechanical knowing agent

We define a notion of the intelligence level of an idealized mechanical knowing agent. This is motivated by efforts within artificial intelligence research to define real-number intelligence levels of compli- cated intelligent systems. Our agents are more idealized, which allows us to define a much simpler measure of intelligence level for them. In short, we define the intelligence level of a mechanical knowing agent to be the supremum of the computable ordinals that have codes the agent knows to be codes of computable ordinals. We prove that if one agent knows certain things about another agent, then the former necessarily has a higher intelligence level than the latter. This allows our intelligence no- tion to serve as a stepping stone to obtain results which, by themselves, are not stated in terms of our intelligence notion (results of potential in- terest even to readers totally skeptical that our notion correctly captures intelligence). As an application, we argue that these results comprise evidence against the possibility of intelligence explosion (that is, the no- tion that sufficiently intelligent machines will eventually be capable of designing even more intelligent machines, which can then design even more intelligent machines, and so on)

An order-theoretic characterization of the Howard-Bachmann-hierarchy

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arithmetic. All these subsystems deal with versions of light-face Π₁¹-comprehension

Epigenetic Silencing of Spermatocyte-Specific and Neuronal Genes by SUMO Modification of the Transcription Factor Sp3

SUMO modification of transcription factors is linked to repression of transcription. The physiological significance of SUMO attachment to a particular transcriptional regulator, however, is largely unknown. We have employed the ubiquitously expressed murine transcription factor Sp3 to analyze the role of SUMOylation in vivo. We generated mice and mouse embryonic fibroblasts (MEFs) carrying a subtle point mutation in the SUMO attachment sequence of Sp3 (IKEE553D mutation). The E553D mutation impedes SUMOylation of Sp3 at K551 in vivo, without affecting Sp3 protein levels. Expression profiling revealed that spermatocyte-specific genes, such as Dmc1 and Dnahc8, and neuronal genes, including Paqr6, Rims3, and Robo3, are de-repressed in non-testicular and extra-neuronal mouse tissues and in mouse embryonic fibroblasts expressing the SUMOylation-deficient Sp3E553D mutant protein. Chromatin immunoprecipitation experiments show that transcriptional de-repression of these genes is accompanied by the loss of repressive heterochromatic marks such as H3K9 and H4K20 tri-methylation and impaired recruitment of repressive chromatin-modifying enzymes. Finally, analysis of the DNA methylation state of the Dmc1, Paqr6, and Rims3 promoters by bisulfite sequencing revealed that these genes are highly methylated in Sp3wt MEFs but are unmethylated in Sp3E553D MEFs linking SUMOylation of Sp3 to tissue-specific CpG methylation. Our results establish SUMO conjugation to Sp3 as a molecular beacon for the assembly of repression machineries to maintain tissue-specific transcriptional gene silencing

Molecular imaging of rheumatoid arthritis by radiolabelled monoclonal antibodies: new imaging strategies to guide molecular therapies

The closing of the last century opened a wide variety of approaches for inflammation imaging and treatment of patients with rheumatoid arthritis (RA). The introduction of biological therapies for the management of RA started a revolution in the therapeutic armamentarium with the development of several novel monoclonal antibodies (mAbs), which can be murine, chimeric, humanised and fully human antibodies. Monoclonal antibodies specifically bind to their target, which could be adhesion molecules, activation markers, antigens or receptors, to interfere with specific inflammation pathways at the molecular level, leading to immune-modulation of the underlying pathogenic process. These new generation of mAbs can also be radiolabelled by using direct or indirect method, with a variety of nuclides, depending upon the specific diagnostic application. For studying rheumatoid arthritis patients, several monoclonal antibodies and their fragments, including anti-TNF-α, anti-CD20, anti-CD3, anti-CD4 and anti-E-selectin antibody, have been radiolabelled mainly with 99mTc or 111In. Scintigraphy with these radiolabelled antibodies may offer an exciting possibility for the study of RA patients and holds two types of information: (1) it allows better staging of the disease and diagnosis of the state of activity by early detection of inflamed joints that might be difficult to assess; (2) it might provide a possibility to perform ‘evidence-based biological therapy’ of arthritis with a view to assessing whether an antibody will localise in an inflamed joint before using the same unlabelled antibody therapeutically. This might prove particularly important for the selection of patients to be treated since biological therapies can be associated with severe side-effects and are considerably expensive. This article reviews the use of radiolabelled mAbs in the study of RA with particular emphasis on the use of different radiolabelled monoclonal antibodies for therapy decision-making and follow-up