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).

Effects of two different memory training approaches in very preterm-born children

Background: Little research has been conducted to assess the effect of using memory training with school-aged children who were born very preterm. This study aimed to determine whether two types of memory training approaches resulted in an improvement of trained functions and/or a generalization of the training effect to non-trained cognitive domains. Methods: Sixty-eight children born very preterm (7¬-12 years) were randomly allocated to a group undertaking memory strategy training (n=23), working memory training (n=22), or a waiting control group (n=23). Neuropsychological assessment was performed before and immediately after the training or waiting period, and at a six-month follow-up. Results: In both training groups, significant improvement of different memory domains occurred immediately after training (near transfer). Improvement of non-trained arithmetic performance was observed after strategy training (far transfer). At a six-month follow-up assessment, children in both training groups demonstrated better working memory, and their parents rated their memory functions to be better than controls. Performance level before the training was negatively associated with the training gain. Conclusions: These results highlight the importance of cognitive interventions, in particular the teaching of memory strategies, in very preterm-born children at early school age to strengthen cognitive performance and prevent problems at school.

Effects of two different memory training approaches in very pretermborn children

Background: Little research has been conducted to assess the effect of using memory training with school aged children who were born very preterm. This study aimed to determine whether two types of memory training approaches resulted in an improvement of trained functions and/or a generalization of the training effect to non-trained cognitive domains. Methods: Sixty-eight children born very preterm (7-12 years) were randomly allocated to a group undertaking memory strategy training (n=23), working memory training (n=22), or a waiting control group (n=23). Neuropsychological assessment was performed before and immediately after the training or waiting period, and at a six-month follow-up. Results: In both training groups, significant improvement of different memory domains occurred immediately after training (near transfer). Improvement of non-trained arithmetic performance was observed after strategy training (far transfer). At a six-month follow-up assessment, children in both training groups demonstrated better working memory, and their parents rated their memory functions to be better than controls. Performance level before the training was negatively associated with the training gain. Conclusions: These results highlight the importance of cognitive interventions, in particular the teaching of memory strategies, in very preterm-born children at early school age to strengthen cognitive performance and prevent problems at school.

Effects of exogenous surfactant on the non-heart-beating donor lung graft in experimental lung transplantation - a stereological study.

The use of non-heart-beating donor (NHBD) lungs may help to overcome the shortage of lung grafts in clinical lung transplantation, but warm ischaemia and ischaemia/reperfusion injury (I/R injury) resulting in primary graft dysfunction represent a considerable threat. Thus, better strategies for optimized preservation of lung grafts are urgently needed. Surfactant dysfunction has been shown to contribute to I/R injury, and surfactant replacement therapy is effective in enhancing lung function and structural integrity in related rat models. In the present study we hypothesize that surfactant replacement therapy reduces oedema formation in a pig model of NHBD lung transplantation. Oedema formation was quantified with (SF) and without (non-SF) surfactant replacement therapy in interstitial and alveolar compartments by means of design-based stereology in NHBD lungs 7 h after cardiac arrest, reperfusion and transplantation. A sham-operated group served as control. In both NHBD groups, nearly all animals died within the first hours after transplantation due to right heart failure. Both SF and non-SF developed an interstitial oedema of similar degree, as shown by an increase in septal wall volume and arithmetic mean thickness as well as an increase in the volume of peribron-chovascular connective tissue. Regarding intra-alveolar oedema, no statistically significant difference could be found between SF and non-SF. In conclusion, surfactant replacement therapy cannot prevent poor outcome after prolonged warm ischaemia of 7 h in this model. While the beneficial effects of surfactant replacement therapy have been observed in several experimental and clinical studies related to heart-beating donor lungs and cold ischaemia, it is unlikely that surfactant replacement therapy will overcome the shortage of organs in the context of prolonged warm ischaemia, for example, 7 h. Moreover, our data demonstrate that right heart function and dysfunctions of the pulmonary vascular bed are limiting factors that need to be addressed in NHBD.