Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

An EAR-motif-containing ERF transcription factor affects herbivore-induced signaling, defense and resistance in rice

Ethylene responsive factors (ERFs) are a large family of plant-specific transcription factors that are involved in the regulation of plant development and stress responses. However, little to nothing is known about their role in herbivore-induced defense. We discovered a nucleus-localized ERF gene in rice (Oryza sativa), OsERF3, that was rapidly up-regulated in response to feeding by the rice striped stem borer (SSB) Chilo suppressalis. Antisense and over-expression of OsERF3 revealed that it positively affects transcript levels of two mitogen-activated protein kinases (MAPKs) and two WRKY genes as well as concentrations of jasmonate (JA), salicylate (SA) and the activity of trypsin protease inhibitors (TrypPIs). OsERF3 was also found to mediate the resistance of rice to SSB. On the other hand, OsERF3 was slightly suppressed by the rice brown planthopper (BPH) Nilaparvata lugens (Stål) and increased susceptibility to this piercing sucking insect, possibly by suppressing H2O2 biosynthesis. We propose that OsERF3 affects early components of herbivore-induced defense responses by suppressing MAPK repressors and modulating JA, SA, ethylene and H2O2 pathways as well as plant resistance. Our results also illustrate that OsERF3 acts as a central switch that gears the plant’s metabolism towards an appropriate response to chewing or piercing/sucking insects.

NOX3-Targeted Therapies for Inner Ear Pathologies

Inner ear pathologies are associated with major morbidity and loss of life quality in affected patients. In many of these conditions, production of reactive oxygen-species (ROS) is thought to be a key pathological mechanism. While the sources of ROS are complex (including for example mitochondria), there is increasing evidence that activation of NOX enzymes, in particular NOX3, plays a key role. NOX3 is a multi-subunit NADPH oxidase, functionally and structurally closely related to NOX1 and NOX2. In both the vestibular and the cochlear compartments of the inner ear, high levels of NOX3 mRNA are expressed. In NOX3 mutant mice, the vestibular function is perturbed due to a lack of otoconia, while only minor alterations of hearing have been documented. However, there is increasing evidence that activation of NOX3 through drugs, noise and probably also aging, leads to hearing loss. Thus, NOX3 is an interesting target to treat and prevent inner ear pathologies and a few first animal models based on drug - or molecular therapy have been reported. So far however, there are no specific NOX3 inhibitors with a documented penetration into the inner ear. Nevertheless, certain antioxidants and non-specific NOX inhibitors diminish hearing loss in animal models. Development of small molecules inhibitors or molecular strategies against NOX3 could improve specificity and efficiency of redox-targeted treatments. In this review, we will discuss arguments for the involvement of NOX3 in inner ear pathologies and therapeutic approaches to target NOX3 activity.

Effect of tympanic cavity evacuation and flushing on microbial isolates during total ear canal ablation with lateral bulla osteotomy in dogs.

OBJECTIVE To evaluate differences in bacterial numbers, identity, and susceptibility in samples obtained from the tympanic cavity on entry (preflush) and after evacuation and lavage (postflush) and assess perioperative and empiric antimicrobial selection in dogs that underwent total ear canal ablation (TECA) with lateral bulla osteotomy (LBO) or reoperation LBO. DESIGN Prospective clinical study. ANIMALS 34 dogs. PROCEDURE TECA with LBO or reoperation LBO was performed on 47 ears. Pre- and postflush aerobic and anaerobic samples were obtained from the tympanic cavity. Isolates and antimicrobial susceptibility patterns were compared. RESULTS Different isolates (31/44 [70%] ears) and susceptibility patterns of isolate pairs (6/44 [14%] ears) were detected in pre- and postflush samples from 84% of ears. Evacuation and lavage of the tympanic cavity decreased the number of bacterial isolates by 33%. In 26% of ears, bacteria were isolated from post-flush samples but not preflush samples. Only 26% of isolates tested were susceptible to cefazolin. At least 1 isolate from 53% of dogs that received empirically chosen antimicrobials postoperatively was resistant to the selected drugs. Anaerobic bacteria were recovered from 6 ears. CONCLUSIONS AND CLINICAL RELEVANCE Accurate microbiologic assessment of the tympanic cavity should be the basis for selection of antimicrobials in dogs undergoing TECA with LBO. Bacteria remain in the tympanic cavity after evacuation and lavage. Cefazolin was a poor choice for dogs that underwent TECA with LBO, as judged on the basis of culture and susceptibility testing results.

Bone conduction responses of middle ear structures in Thiel embalmed heads

Thiel-embalmed human whole-head specimens offer a promising alternative model for bone conduction (BC) studies of middle ear structures. In this work we present the Thiel model’s linearity and stability over time as well as its possible use in the study of a fixed ossicle chain. Using laser Doppler vibrometry (LDV), the motion of the retroauricular skull, the promontory, the stapes footplate and the round window (RW) were measured. A bone-anchored hearing aid stimulated the ears with step sinus tones logarithmically spread between 0.1 and 10 kHz. Linearity of the model was verified using input levels in steps of 10 dBV. The stability of the Thiel model over time was examined with measurements repeated after hours and weeks. The influence of a cement-fixed stapes was assessed. The middle ear elements measured responded linearly in amplitude for the applied input levels (100, 32.6, and 10 mV). The variability of measurements for both short- (2 h) and long-term (4-16 weeks) repetitions in the same ear was lower than the interindividual difference. The fixation of the stapes induced a lowered RW displacement for frequencies near 750 Hz (-4 dB) and an increased displacement for frequencies above 1 kHz (max. +3.7 dB at 4 kHz). LDV assessment of BC-induced middle ear motion in Thiel heads can be performed with stable results. The vibratory RW response is affected by the fixation of the stapes, indicating a measurable effect of ossicle chain inertia on BC response in Thiel embalmed heads.