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

Effect of Health Risk Assessment and Counselling on Health Behaviour and Survival in Older People: A Pragmatic Randomised Trial.

BACKGROUND Potentially avoidable risk factors continue to cause unnecessary disability and premature death in older people. Health risk assessment (HRA), a method successfully used in working-age populations, is a promising method for cost-effective health promotion and preventive care in older individuals, but the long-term effects of this approach are unknown. The objective of this study was to evaluate the effects of an innovative approach to HRA and counselling in older individuals for health behaviours, preventive care, and long-term survival. METHODS AND FINDINGS This study was a pragmatic, single-centre randomised controlled clinical trial in community-dwelling individuals aged 65 y or older registered with one of 19 primary care physician (PCP) practices in a mixed rural and urban area in Switzerland. From November 2000 to January 2002, 874 participants were randomly allocated to the intervention and 1,410 to usual care. The intervention consisted of HRA based on self-administered questionnaires and individualised computer-generated feedback reports, combined with nurse and PCP counselling over a 2-y period. Primary outcomes were health behaviours and preventive care use at 2 y and all-cause mortality at 8 y. At baseline, participants in the intervention group had a mean ± standard deviation of 6.9 ± 3.7 risk factors (including unfavourable health behaviours, health and functional impairments, and social risk factors) and 4.3 ± 1.8 deficits in recommended preventive care. At 2 y, favourable health behaviours and use of preventive care were more frequent in the intervention than in the control group (based on z-statistics from generalised estimating equation models). For example, 70% compared to 62% were physically active (odds ratio 1.43, 95% CI 1.16-1.77, p = 0.001), and 66% compared to 59% had influenza vaccinations in the past year (odds ratio 1.35, 95% CI 1.09-1.66, p = 0.005). At 8 y, based on an intention-to-treat analysis, the estimated proportion alive was 77.9% in the intervention and 72.8% in the control group, for an absolute mortality difference of 4.9% (95% CI 1.3%-8.5%, p = 0.009; based on z-test for risk difference). The hazard ratio of death comparing intervention with control was 0.79 (95% CI 0.66-0.94, p = 0.009; based on Wald test from Cox regression model), and the number needed to receive the intervention to prevent one death was 21 (95% CI 12-79). The main limitations of the study include the single-site study design, the use of a brief self-administered questionnaire for 2-y outcome data collection, the unavailability of other long-term outcome data (e.g., functional status, nursing home admissions), and the availability of long-term follow-up data on mortality for analysis only in 2014. CONCLUSIONS This is the first trial to our knowledge demonstrating that a collaborative care model of HRA in community-dwelling older people not only results in better health behaviours and increased use of recommended preventive care interventions, but also improves survival. The intervention tested in our study may serve as a model of how to implement a relatively low-cost but effective programme of disease prevention and health promotion in older individuals. TRIAL REGISTRATION International Standard Randomized Controlled Trial Number: ISRCTN 28458424.

Standard cystectomy fits all: truth or myth?

Radical cystectomy (RC) with pelvic lymph node dissection (PLND) followed by urinary diversion is the treatment of choice for muscle-invasive bladder cancer (BC) and non-invasive BC refractory to transurethral resection of the bladder (TUR-B) and/or intravesical instillation therapies. Since the morbidity and possible mortality of this surgery are relevant, care must be taken in the preoperative selection of patients for the various organ-sparing procedures (e.g., bladder-sparing, nerve sparing, seminal vesicle sparing) and various types of urinary diversion. The patient’s performance status and comorbidities, along with individual tumor characteristics, determine possible surgical steps during RC. This individualized approach to RC in each patient can maximize oncological safety and minimize avoidable side effects, rendering ‘standard’ cystectomy a surgery of the past.

The Process-Outcome Mindfulness Effects in Trainees (PrOMET) study: protocol of a pragmatic randomized controlled trial

Background Mindfulness has its origins in an Eastern Buddhist tradition that is over 2500 years old and can be defined as a specific form of attention that is non-judgmental, purposeful, and focused on the present moment. It has been well established in cognitive-behavior therapy in the last decades, while it has been investigated in manualized group settings such as mindfulness-based stress reduction and mindfulness-based cognitive therapy. However, there is scarce research evidence on the effects of mindfulness as a treatment element in individual therapy. Consequently, the demand to investigate mindfulness under effectiveness conditions in trainee therapists has been highlighted. Methods/Design To fill in this research gap, we designed the PrOMET Study. In our study, we will investigate the effects of brief, audiotape-presented, session-introducing interventions with mindfulness elements conducted by trainee therapists and their patients at the beginning of individual therapy sessions in a prospective, randomized, controlled design under naturalistic conditions with a total of 30 trainee therapists and 150 patients with depression and anxiety disorders in a large outpatient training center. We hypothesize that the primary outcomes of the session-introducing intervention with mindfulness elements will be positive effects on therapeutic alliance (Working Alliance Inventory) and general clinical symptomatology (Brief Symptom Checklist) in contrast to the session-introducing progressive muscle relaxation and treatment-as-usual control conditions. Treatment duration is 25 therapy sessions. Therapeutic alliance will be assessed on a session-to-session basis. Clinical symptomatology will be assessed at baseline, session 5, 15 and 25. We will conduct multilevel modeling to address the nested data structure. The secondary outcome measures include depression, anxiety, interpersonal functioning, mindful awareness, and mindfulness during the sessions. Discussion The study results could provide important practical implications because they could inform ideas on how to improve the clinical training of psychotherapists that could be implemented very easily; this is because there is no need for complex infrastructures or additional time concerning these brief session-introducing interventions with mindfulness elements that are directly implemented in the treatment sessions.

The truth lies within: the reconstructive value of inner livores in a homicide case.

Through the widespread use of postmortem computed tomography, inner livores of the lungs have become a frequently observed phenomenon in the field of forensic medicine. Yet their time-dependent development, notably in comparison with the widely studied external livores, remains poorly understood. We present a unique homicide case where the victim was discovered in supine position with correspondent external livores fixed exclusively on the rear side. Yet upon postmortem computed tomography, the victim presented pronounced inner livores within the depending dorsal areas of both lungs but also vertical sedimentation levels solely within the right lung, suggesting an initial right-hand side position and a postmortem re-positioning of the body. Interestingly, this was consistent with tangible hints of postmortem manipulation on-site. It is likely that this repositioning occurred sometime during the early postmortem interval (<6 h) as the external livores have completely rearranged to the final supine position. The presented case suggests different development patterns of inner and outer livores, highlighting the necessity for controlled studies that explore the formation and fixation processes of livor mortis in internal organs. A better understanding of these issues can prove useful in forensic examinations.