Optogenetic identification of a rapid eye movement sleep modulatory circuit in the hypothalamus.

Rapid-eye movement (REM) sleep correlates with neuronal activity in the brainstem, basal forebrain and lateral hypothalamus. Lateral hypothalamus melanin-concentrating hormone (MCH)-expressing neurons are active during sleep, but their effects on REM sleep remain unclear. Using optogenetic tools in newly generated Tg(Pmch-cre) mice, we found that acute activation of MCH neurons (ChETA, SSFO) at the onset of REM sleep extended the duration of REM, but not non-REM, sleep episodes. In contrast, their acute silencing (eNpHR3.0, archaerhodopsin) reduced the frequency and amplitude of hippocampal theta rhythm without affecting REM sleep duration. In vitro activation of MCH neuron terminals induced GABAA-mediated inhibitory postsynaptic currents in wake-promoting histaminergic neurons of the tuberomammillary nucleus (TMN), and in vivo activation of MCH neuron terminals in TMN or medial septum also prolonged REM sleep episodes. Collectively, these results suggest that activation of MCH neurons maintains REM sleep, possibly through inhibition of arousal circuits in the mammalian brain.

Full and hat inductive definitions are equivalent in NBG

A new research project has, quite recently, been launched to clarify how different, from systems in second order number theory extending ACA 0, those in second order set theory extending NBG (as well as those in n + 3-th order number theory extending the so-called Bernays−Gödel expansion of full n + 2-order number theory etc.) are. In this article, we establish the equivalence between Δ10\bf-LFP and Δ10\bf-FP, which assert the existence of a least and of a (not necessarily least) fixed point, respectively, for positive elementary operators (or between Δn+20\bf-LFP and Δn+20\bf-FP). Our proof also shows the equivalence between ID 1 and ^ID1, both of which are defined in the standard way but with the starting theory PA replaced by ZFC (or full n + 2-th order number theory with global well-ordering).

Local changes in neocortical circuit dynamics coincide with the spread of seizures to thalamus in a model of epilepsy

During the generalization of epileptic seizures, pathological activity in one brain area recruits distant brain structures into joint synchronous discharges. However, it remains unknown whether specific changes in local circuit activity are related to the aberrant recruitment of anatomically distant structures into epileptiform discharges. Further, it is not known whether aberrant areas recruit or entrain healthy ones into pathological activity. Here we study the dynamics of local circuit activity during the spread of epileptiform discharges in the zero-magnesium in vitro model of epilepsy. We employ high-speed multi-photon imaging in combination with dual whole-cell recordings in acute thalamocortical (TC) slices of the juvenile mouse to characterize the generalization of epileptic activity between neocortex and thalamus. We find that, although both structures are exposed to zero-magnesium, the initial onset of focal epileptiform discharge occurs in cortex. This suggests that local recurrent connectivity that is particularly prevalent in cortex is important for the initiation of seizure activity. Subsequent recruitment of thalamus into joint, generalized discharges is coincident with an increase in the coherence of local cortical circuit activity that itself does not depend on thalamus. Finally, the intensity of population discharges is positively correlated between both brain areas. This suggests that during and after seizure generalization not only the timing but also the amplitude of epileptiform discharges in thalamus is entrained by cortex. Together these results suggest a central role of neocortical activity for the onset and the structure of pathological recruitment of thalamus into joint synchronous epileptiform discharges.

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

Psychomotor symptoms of schizophrenia map on the cerebral motor circuit

Schizophrenia is a devastating disorder thought to result mainly from cerebral pathology. Neuroimaging studies have provided a wealth of findings of brain dysfunction in schizophrenia. However, we are still far from understanding how particular symptoms can result from aberrant brain function. In this context, the high prevalence of motor symptoms in schizophrenia such as catatonia, neurological soft signs, parkinsonism, and abnormal involuntary movements is of particular interest. Here, the neuroimaging correlates of these motor symptoms are reviewed. For all investigated motor symptoms, neural correlates were found within the cerebral motor system. However, only a limited set of results exists for hypokinesia and neurological soft signs, while catatonia, abnormal involuntary movements and parkinsonian signs still remain understudied with neuroimaging methods. Soft signs have been associated with altered brain structure and function in cortical premotor and motor areas as well as cerebellum and thalamus. Hypokinesia is suggested to result from insufficient interaction of thalamocortical loops within the motor system. Future studies are needed to address the neural correlates of motor abnormalities in prodromal states, changes during the course of the illness, and the specific pathophysiology of catatonia, dyskinesia and parkinsonism in schizophrenia.

Short structured feedback training is equivalent to a mechanical feedback device in two-rescuer BLS: a randomised simulation study.

BACKGROUND Resuscitation guidelines encourage the use of cardiopulmonary resuscitation (CPR) feedback devices implying better outcomes after sudden cardiac arrest. Whether effective continuous feedback could also be given verbally by a second rescuer ("human feedback") has not been investigated yet. We, therefore, compared the effect of human feedback to a CPR feedback device. METHODS In an open, prospective, randomised, controlled trial, we compared CPR performance of three groups of medical students in a two-rescuer scenario. Group "sCPR" was taught standard BLS without continuous feedback, serving as control. Group "mfCPR" was taught BLS with mechanical audio-visual feedback (HeartStart MRx with Q-CPR-Technology™). Group "hfCPR" was taught standard BLS with human feedback. Afterwards, 326 medical students performed two-rescuer BLS on a manikin for 8 min. CPR quality parameters, such as "effective compression ratio" (ECR: compressions with correct hand position, depth and complete decompression multiplied by flow-time fraction), and other compression, ventilation and time-related parameters were assessed for all groups. RESULTS ECR was comparable between the hfCPR and the mfCPR group (0.33 vs. 0.35, p = 0.435). The hfCPR group needed less time until starting chest compressions (2 vs. 8 s, p < 0.001) and showed fewer incorrect decompressions (26 vs. 33 %, p = 0.044). On the other hand, absolute hands-off time was higher in the hfCPR group (67 vs. 60 s, p = 0.021). CONCLUSIONS The quality of CPR with human feedback or by using a mechanical audio-visual feedback device was similar. Further studies should investigate whether extended human feedback training could further increase CPR quality at comparable costs for training.