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

Current State of Reporting Pain Outcomes in Cochrane Reviews of Chronic Musculoskeletal Pain Conditions and Considerations for an OMERACT Research Agenda.

OBJECTIVE To assess the current state of reporting of pain outcomes in Cochrane reviews on chronic musculoskeletal painful conditions and to elicit opinions of patients, healthcare practitioners, and methodologists on presenting pain outcomes to patients, clinicians, and policymakers. METHODS We identified all reviews in the Cochrane Library of chronic musculoskeletal pain conditions from Cochrane review groups (Back, Musculoskeletal, and Pain, Palliative, and Supportive Care) that contained a summary of findings (SoF) table. We extracted data on reported pain domains and instruments and conducted a survey and interviews on considerations for SoF tables (e.g., pain domains, presentation of results). RESULTS Fifty-seven SoF tables in 133 Cochrane reviews were eligible. SoF tables reported pain in 56/57, with all presenting results for pain intensity (20 different outcome instruments), pain interference in 8 SoF tables (5 different outcome instruments), and pain frequency in 1 multiple domain instrument. Other domains like pain quality or pain affect were not reported. From the survey and interviews [response rate 80% (36/45)], we derived 4 themes for a future research agenda: pain domains, considerations for assessing truth, discrimination, and feasibility; clinically important thresholds for responder analyses and presenting results; and establishing hierarchies of outcome instruments. CONCLUSION There is a lack of standardization in the domains of pain selected and the manner that pain outcomes are reported in SoF tables, hampering efforts to synthesize evidence. Future research should focus on the themes identified, building partnerships to achieve consensus and develop guidance on best practices for reporting pain outcomes.

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.

From regression estimates to document tables: output formatting using -estout-

Postestimation processing and formatting of regression estimates for input into document tables are tasks that many of us have to do. However, processing results by hand can be laborious, and is vulnerable to error. There are therefore many benefits to automation of these tasks while at the same time retaining user flexibility in terms of output format. The estout package meets these needs. estout assembles a table of coefficients, "significance stars", summary statistics, standard errors, t/z statistics, p-values, confidence intervals, and other statistics calculated for up to twenty models previously fitted and stored by estimates store. It then writes the table to the Stata log and/or to a text file. The estimates are formatted optionally in several styles: html, LaTeX, or tab-delimited (for input into MS Excel or Word). There are a large number of options regarding which output is formatted and how. This talk will take users through a range of examples, from relatively basic simple applications to complex ones.

MRTAB: Stata module to compute one- and two-way tables/graphs of multiple responses

mrtab tabulates multiple responses which are held as a set of indicator variables or as a set of polytomous response variables.

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.