From hierarchies to well-foundedness

We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α)where(Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α.

Forcing for hat inductive definitions in arithmetic

By forcing, we give a direct interpretation of inline image into Avigad's inline image. To the best of the author's knowledge, this is one of the simplest applications of forcing to “real problems”.

Towards the introduction of the 'Immunoscore' in the classification of malignant tumours.

The American Joint Committee on Cancer/Union Internationale Contre le Cancer (AJCC/UICC) TNM staging system provides the most reliable guidelines for the routine prognostication and treatment of colorectal carcinoma. This traditional tumour staging summarizes data on tumour burden (T), the presence of cancer cells in draining and regional lymph nodes (N) and evidence for distant metastases (M). However, it is now recognized that the clinical outcome can vary significantly among patients within the same stage. The current classification provides limited prognostic information and does not predict response to therapy. Multiple ways to classify cancer and to distinguish different subtypes of colorectal cancer have been proposed, including morphology, cell origin, molecular pathways, mutation status and gene expression-based stratification. These parameters rely on tumour-cell characteristics. Extensive literature has investigated the host immune response against cancer and demonstrated the prognostic impact of the in situ immune cell infiltrate in tumours. A methodology named 'Immunoscore' has been defined to quantify the in situ immune infiltrate. In colorectal cancer, the Immunoscore may add to the significance of the current AJCC/UICC TNM classification, since it has been demonstrated to be a prognostic factor superior to the AJCC/UICC TNM classification. An international consortium has been initiated to validate and promote the Immunoscore in routine clinical settings. The results of this international consortium may result in the implementation of the Immunoscore as a new component for the classification of cancer, designated TNM-I (TNM-Immune).

A new model construction by making a detour via intuitionistic theories I: Operational set theory without choice is Π1-equivalent to KP

We introduce a version of operational set theory, OST−, without a choice operation, which has a machinery for Δ0Δ0 separation based on truth functions and the separation operator, and a new kind of applicative set theory, so-called weak explicit set theory WEST, based on Gödel operations. We show that both the theories and Kripke–Platek set theory KPKP with infinity are pairwise Π1Π1 equivalent. We also show analogous assertions for subtheories with ∈-induction restricted in various ways and for supertheories extended by powerset, beta, limit and Mahlo operations. Whereas the upper bound is given by a refinement of inductive definition in KPKP, the lower bound is by a combination, in a specific way, of realisability, (intuitionistic) forcing and negative interpretations. Thus, despite interpretability between classical theories, we make “a detour via intuitionistic theories”. The combined interpretation, seen as a model construction in the sense of Visser's miniature model theory, is a new way of construction for classical theories and could be said the third kind of model construction ever used which is non-trivial on the logical connective level, after generic extension à la Cohen and Krivine's classical realisability model.

A new model construction by making a detour via intuitionistic theories II: Interpretability lower bound of Feferman's explicit mathematics T0

We partially solve a long-standing problem in the proof theory of explicit mathematics or the proof theory in general. Namely, we give a lower bound of Feferman’s system T0 of explicit mathematics (but only when formulated on classical logic) with a concrete interpretat ion of the subsystem Σ12-AC+ (BI) of second order arithmetic inside T0. Whereas a lower bound proof in the sense of proof-theoretic reducibility or of ordinalanalysis was already given in 80s, the lower bound in the sense of interpretability we give here is new. We apply the new interpretation method developed by the author and Zumbrunnen (2015), which can be seen as the third kind of model construction method for classical theories, after Cohen’s forcing and Krivine’s classical realizability. It gives us an interpretation between classical theories, by composing interpretations between intuitionistic theories.

Cup Implant Planning Based on 2-D/3-D Radiographic Pelvis Reconstruction-First Clinical Results.

GOAL: In the following, we will present a newly developed X-ray calibration phantom and its integration for 2-D/3-D pelvis reconstruction and subsequent automatic cup planning. Two different planning strategies were applied and evaluated with clinical data. METHODS: Two different cup planning methods were investigated: The first planning strategy is based on a combined pelvis and cup statistical atlas. Thereby, the pelvis part of the combined atlas is matched to the reconstructed pelvis model, resulting in an optimized cup planning. The second planning strategy analyzes the morphology of the reconstructed pelvis model to determine the best fitting cup implant. RESULTS: The first planning strategy was compared to 3-D CT-based planning. Digitally reconstructed radiographs of THA patients with differently severe pathologies were used to evaluate the accuracy of predicting the cup size and position. Within a discrepancy of one cup size, the size was correctly identified in 100% of the cases for Crowe type I datasets and in 77.8% of the cases for Crowe type II, III, and IV datasets. The second planning strategy was analyzed with respect to the eventually implanted cup size. In seven patients, the estimated cup diameter was correct within one cup size, while the estimation for the remaining five patients differed by two cup sizes. CONCLUSION: While both planning strategies showed the same prediction rate with a discrepancy of one cup size (87.5%), the prediction of the exact cup size was increased for the statistical atlas-based strategy (56%) in contrast to the anatomically driven approach (37.5%). SIGNIFICANCE: The proposed approach demonstrated the clinical validity of using 2-D/3-D reconstruction technique for cup planning.

Decomposition studies of group 6 hexacarbonyl complexes. Part 1: Production and decomposition of Mo(CO)6 and W(CO)6

Chemical studies of superheavy elements require fast and efficient techniques, due to short half-lives and low production rates of the investigated nuclides. Here, we advocate for using a tubular flow reactor for assessing the thermal stability of the Sg carbonyl complex – Sg(CO)6. The experimental setup was tested with Mo and W carbonyl complexes, as their properties are established and supported by theoretical predictions. The suggested approach proved to be effective in discriminating between the thermal stabilities of Mo(CO)6 and W(CO)6. Therefore, an experimental verification of the predicted Sg–CO bond dissociation energy seems to be feasible by applying this technique. By investigating the effect of 104,105Mo beta-decay on the formation of 104,105Tc carbonyl complex, we estimated the lower reaction time limit for the metal carbonyl synthesis in the gas phase to be more than 100 ms. We examined further the influence of the wall material of the recoil chamber, the carrier gas composition, the gas flow rate, and the pressure on the production yield of 104Mo(CO)6, so that the future stability tests with Sg(CO)6 can be optimized accordingly.

Off-Hour Admission and Outcomes in Patients with Acute Intracerebral Hemorrhage in the INTERACT2 Trial

BACKGROUND Conflicting data exist of an association between off-hour (weekend, holiday, or night-time) hospital admission and adverse outcome in intracerebral hemorrhage (ICH). We determined the association between off-hour admissions and poor clinical outcome, and of any differential effect of early intensive blood pressure (BP) lowering treatment between off- and on-hour admissions, among participants of the Intensive BP Reduction in Acute Cerebral Hemorrhage Trial (INTERACT2). METHODS Subsidiary analysis of INTERACT2, a multinational, multicenter, clinical trial of patients with spontaneous ICH with elevated systolic BP, randomly assigned to intensive (target systolic BP <140 mm Hg) or guideline-based (<180 mm Hg) BP management. Primary outcome was death or major disability (modified Rankin scale of 3-6) at 90 days. Off-hour admission was defined as night-time (4:30 p.m. to 8:30 a.m.) on weekdays, weekends (Saturday and Sunday), and public holidays in each participating country. RESULTS Of 2,794 patients with information on the primary outcome, 1,770 (63%) were admitted to study centers during off-hours. Off-hour admission was not associated with risk of poor outcome at 90 days (53% off-hour vs. 55% on-hour; p = 0.49), even after adjustment for comorbid risk factors (odds ratio 0.92; 95% CI 0.76-1.12). Consistency exists in the effects of intensive BP lowering between off- and on-hour admission (p = 0.85 for homogeneity). CONCLUSIONS Off-hour admission was not associated with increased risks of death or major disability among trial protocol participants with acute ICH. Intensive BP lowering can provide similar treatment effect irrespective of admission hours.