Completeness of a Hypersequent Calculus for Some First-order Gödel Logics with Delta

All first-order Gödel logics G_V with globalization operator based on truth value sets V C [0,1] where 0 and 1 lie in the perfect kernel of V are axiomatized by Ciabattoni’s hypersequent calculus HGIF

Singletons and their maximal symmetry algebras

Singletons are those unitary irreducible modules of the Poincare or (anti) de Sitter group that can be lifted to unitary modules of the conformal group. Higher-spin algebras are the corresponding realizations of the universal enveloping algebra of the conformal algebra on these modules. These objects appear in a wide variety of areas of theoretical physics: AdS/CFT correspondence, electric-magnetic duality, higher-spin multiplets, infinite-component Majorana equations, higher-derivative symmetries, etc. Singletons and higher-spin algebras are reviewed through a list of their many equivalent definitions in order to approach them from various perspectives. The focus of this introduction is on the symmetries of a singleton: its maximal algebra and the manifest realization thereof.Comment: 34 pages, published (splitted into two distinct pieces) in the proceedings of the "7th spring school and workshop on quantum field theory & Hamiltonian systems" and of the "6th mathematical physics meeting: summer school and conference on modern mathematical physics", v2: references (and related comments) adde

Dysfunction of cortical GABAergic neurons leads to sensory hyper-reactivity in a Shank3 mouse model of ASD.

Hyper-reactivity to sensory input is a common and debilitating symptom in individuals with autism spectrum disorders (ASD), but the neural basis underlying sensory abnormality is not completely understood. Here we examined the neural representations of sensory perception in the neocortex of a Shank3B-/- mouse model of ASD. Male and female Shank3B-/- mice were more sensitive to relatively weak tactile stimulation in a vibrissa motion detection task. In vivo population calcium imaging in vibrissa primary somatosensory cortex (vS1) revealed increased spontaneous and stimulus-evoked firing in pyramidal neurons but reduced activity in interneurons. Preferential deletion of Shank3 in vS1 inhibitory interneurons led to pyramidal neuron hyperactivity and increased stimulus sensitivity in the vibrissa motion detection task. These findings provide evidence that cortical GABAergic interneuron dysfunction plays a key role in sensory hyper-reactivity in a Shank3 mouse model of ASD and identify a potential cellular target for exploring therapeutic interventions