Proof Theory and Ordered Groups

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of theorems arising in the theory of ordered groups. More precisely: an analytic calculus for abelian l-groups is generated using an ordering theorem for abelian groups; a calculus is generated for l-groups and new decidability proofs are obtained for the equational theory of this variety and extending finite subsets of free groups to right orders; and a calculus for representable l-groups is generated and a new proof is obtained that free groups are orderable

Ethanol seeking triggered by environmental context is attenuated by blocking dopamine D1 receptors in the nucleus accumbens core and shell in rats

Conditioned behavioral responses to discrete drug-associated cues can be modulated by the environmental context in which those cues are experienced, a process that may facilitate relapse in humans. Rodent models of drug self-administration have been adapted to reveal the capacity of contexts to trigger drug seeking, thereby enabling neurobiological investigations of this effect. We tested the hypothesis that dopamine transmission in the nucleus accumbens, a neural structure that mediates reinforcement, is necessary for context-induced reinstatement of responding for ethanol-associated cues. Rats pressed one lever (active) for oral ethanol (0.1 ml; 10% v/v) in operant conditioning chambers distinguished by specific visual, olfactory, and tactile contextual stimuli. Ethanol delivery was paired with a discrete (4 s) light-noise stimulus. Responses on a second lever (inactive) were not reinforced. Behavior was then extinguished by withholding ethanol but not the discrete stimulus in a different context. Reinstatement, expressed as elevated responding for the discrete stimulus without ethanol delivery, was tested by placing rats into the prior self-administration context after administration of saline or the dopamine D1 receptor antagonist, SCH 23390 (0.006, 0.06, and 0.6 μg/side), into the nucleus accumbens core or shell. Compared with extinction responding, active lever pressing in saline-pretreated rats was enhanced by placement into the prior ethanol self-administration context. SCH 23390 dose-dependently reduced reinstatement after infusion into the core or shell. These findings suggest a critical role for dopamine acting via D1 receptors in the nucleus accumbens in the reinstatement of responding for ethanol cues triggered by placement into an ethanol-associated context

Neurochemical Changes in the Mouse Hippocampus Underlying the Antidepressant Effect of Genetic Deletion of P2X7 Receptors.

Recent investigations have revealed that the genetic deletion of P2X7 receptors (P2rx7) results in an antidepressant phenotype in mice. However, the link between the deficiency of P2rx7 and changes in behavior has not yet been explored. In the present study, we studied the effect of genetic deletion of P2rx7 on neurochemical changes in the hippocampus that might underlie the antidepressant phenotype. P2X7 receptor deficient mice (P2rx7-/-) displayed decreased immobility in the tail suspension test (TST) and an attenuated anhedonia response in the sucrose preference test (SPT) following bacterial endotoxin (LPS) challenge. The attenuated anhedonia was reproduced through systemic treatments with P2rx7 antagonists. The activation of P2rx7 resulted in the concentration-dependent release of [3H]glutamate in P2rx7+/+ but not P2rx7-/- mice, and the NR2B subunit mRNA and protein was upregulated in the hippocampus of P2rx7-/- mice. The brain-derived neurotrophic factor (BDNF) expression was higher in saline but not LPS-treated P2rx7-/- mice; the P2rx7 antagonist Brilliant blue G elevated and the P2rx7 agonist benzoylbenzoyl ATP (BzATP) reduced BDNF level. This effect was dependent on the activation of NMDA and non-NMDA receptors but not on Group I metabotropic glutamate receptors (mGluR1,5). An increased 5-bromo-2-deoxyuridine (BrdU) incorporation was also observed in the dentate gyrus derived from P2rx7-/- mice. Basal level of 5-HT was increased, whereas the 5HIAA/5-HT ratio was lower in the hippocampus of P2rx7-/- mice, which accompanied the increased uptake of [3H]5-HT and an elevated number of [3H]citalopram binding sites. The LPS-induced elevation of 5-HT level was absent in P2rx7-/- mice. In conclusion there are several potential mechanisms for the antidepressant phenotype of P2rx7-/- mice, such as the absence of P2rx7-mediated glutamate release, elevated basal BDNF production, enhanced neurogenesis and increased 5-HT bioavailability in the hippocampus

Quantitative imaging of concentrated suspensions under flow

We review recent advances in imaging the flow of concentrated suspensions, focussing on the use of confocal microscopy to obtain time-resolved information on the single-particle level in these systems. After motivating the need for quantitative (confocal) imaging in suspension rheology, we briefly describe the particles, sample environments, microscopy tools and analysis algorithms needed to perform this kind of experiments. The second part of the review focusses on microscopic aspects of the flow of concentrated model hard-sphere-like suspensions, and the relation to non-linear rheological phenomena such as yielding, shear localization, wall slip and shear-induced ordering. Both Brownian and non-Brownian systems will be described. We show how quantitative imaging can improve our understanding of the connection between microscopic dynamics and bulk flow.Comment: Review on imaging hard-sphere suspensions, incl summary of methodology. Submitted for special volume 'High Solid Dispersions' ed. M. Cloitre, Vol. xx of 'Advances and Polymer Science' (Springer, Berlin, 2009); 22 pages, 16 fig

Efferent Control of the Electrical and Mechanical Properties of Hair Cells in the Bullfrog's Sacculus

Background: Hair cells in the auditory, vestibular, and lateral-line systems respond to mechanical stimulation and transmit information to afferent nerve fibers. The sensitivity of mechanoelectrical transduction is modulated by the efferent pathway, whose activity usually reduces the responsiveness of hair cells. The basis of this effect remains unknown. Methodology and Principal Findings: We employed immunocytological, electrophysiological, and micromechanical approaches to characterize the anatomy of efferent innervation and the effect of efferent activity on the electrical and mechanical properties of hair cells in the bullfrog’s sacculus. We found that efferent fibers form extensive synaptic terminals on all macular and extramacular hair cells. Macular hair cells expressing the Ca 2+-buffering protein calretinin contain half as many synaptic ribbons and are innervated by twice as many efferent terminals as calretinin-negative hair cells. Efferent activity elicits inhibitory postsynaptic potentials in hair cells and thus inhibits their electrical resonance. In hair cells that exhibit spiking activity, efferent stimulation suppresses the generation of action potentials. Finally, efferent activity triggers a displacement of the hair bundle’s resting position. Conclusions and Significance: The hair cells of the bullfrog’s sacculus receive a rich efferent innervation with the heaviest projection to calretinin-containing cells. Stimulation of efferent axons desensitizes the hair cells and suppresses their spiking activity. Although efferent activation influences mechanoelectrical transduction, the mechanical effects on hair bundles ar

Developmental Acquisition of a Rapid Calcium-Regulated Vesicle Supply Allows Sustained High Rates of Exocytosis in Auditory Hair Cells

Auditory hair cells (HCs) have the remarkable property to indefinitely sustain high rates of synaptic vesicle release during ongoing sound stimulation. The mechanisms of vesicle supply that allow such indefatigable exocytosis at the ribbon active zone remain largely unknown. To address this issue, we characterized the kinetics of vesicle recruitment and release in developing chick auditory HCs. Experiments were done using the intact chick basilar papilla from E10 (embryonic day 10) to P2 (two days post-hatch) by monitoring changes in membrane capacitance and Ca2+ currents during various voltage stimulations. Compared to immature pre-hearing HCs (E10-E12), mature post-hearing HCs (E18-P2) can steadily mobilize a larger readily releasable pool (RRP) of vesicles with faster kinetics and higher Ca2+ efficiency. As assessed by varying the inter-pulse interval of a 100 ms paired-pulse depolarization protocol, the kinetics of RRP replenishment were found much faster in mature HCs. Unlike mature HCs, exocytosis in immature HCs showed large depression during repetitive stimulations. Remarkably, when the intracellular concentration of EGTA was raised from 0.5 to 2 mM, the paired-pulse depression level remained unchanged in immature HCs but was drastically increased in mature HCs, indicating that the Ca2+ sensitivity of the vesicle replenishment process increases during maturation. Concomitantly, the immunoreactivity of the calcium sensor otoferlin and the number of ribbons at the HC plasma membrane largely increased, reaching a maximum level at E18-P2. Our results suggest that the efficient Ca2+-dependent vesicle release and supply in mature HCs essentially rely on the concomitant engagement of synaptic ribbons and otoferlin at the plasma membrane

Transanal total mesorectal excision: a pure NOTES approach for selected patients

Background: The concept of natural orifice transluminal endoscopic surgery (NOTES) has stimulated the development of various “incisionless” procedures. One of the most popular is the transanal approach for rectal lesions. The aims of this study were to report how we standardized NOTES technique for transanal mesorectal excision without abdominal assistance, discuss the difficulties and surgical outcomes of this technique and report its feasibility in a small group of selected patients. Methods: Three consecutive female patients underwent transanal NOTES rectal resection without transabdominal laparoscopic assistance for rectal lesions. Functional results were assessed with the Fecal Incontinence Quality of Life scale and the Wexner score. Results: The technical steps are described in details and complemented with a video. All procedures were completed without transabdominal laparoscopic help. The mesorectal plane was entirely dissected without any disruption, and distal and circumferential margins were tumor-free. No major complications were observed. Functional results show a significant impairment after surgery with improvement at 6 months to levels near those of the preoperative period. Conclusions: The performance and publication of NOTES procedures are subject to much discussion. Despite the small number of patients, this procedure appears feasible and can be accomplished maintaining fecal continence and respecting oncologic principles

Tissue sparing surgery in knee reconstruction: unicompartmental (UKA), patellofemoral (PFA), UKA + PFA, bi-unicompartmental (Bi-UKA) arthroplasties

Recently mini-invasive joint replacement has become one of the hottest topics in the orthopaedic world. However, these terms have been improperly misunderstood as a “key-hole” surgery where traditional components are implanted with shorter surgical approaches, with few benefits and several possible dangers. Small implants as unicompartmental knee prostheses, patellofemoral prostheses and bi-unicompartmental knee prostheses might represent real less invasive procedures: Tissue sparing surgery, the Italian way to minimally invasive surgery (MIS). According to their experience the authors go through this real tissue sparing surgery not limited only to a small incision, but where the surgeons can respect the physiological joint biomechanics