Changing a semantics: opportunism or courage?

The generalized models for higher-order logics introduced by Leon Henkin, and their multiple offspring over the years, have become a standard tool in many areas of logic. Even so, discussion has persisted about their technical status, and perhaps even their conceptual legitimacy. This paper gives a systematic view of generalized model techniques, discusses what they mean in mathematical and philosophical terms, and presents a few technical themes and results about their role in algebraic representation, calibrating provability, lowering complexity, understanding fixed-point logics, and achieving set-theoretic absoluteness. We also show how thinking about Henkin's approach to semantics of logical systems in this generality can yield new results, dispelling the impression of adhocness. This paper is dedicated to Leon Henkin, a deep logician who has changed the way we all work, while also being an always open, modest, and encouraging colleague and friend.Comment: 27 pages. To appear in: The life and work of Leon Henkin: Essays on his contributions (Studies in Universal Logic) eds: Manzano, M., Sain, I. and Alonso, E., 201

A Systems-Based Analysis of Mono- and Combination Therapy for Carbapenem-Resistant Klebsiella pneumoniae Bloodstream Infections

Antimicrobial resistance is a global threat. As “proof-of-concept, ” we employed a system-based approach to identify patient, bacterial, and drug variables contributing to mortality in patients with carbapenem-resistant Klebsiella pneumoniae (CRKp) bloodstream infections exposed to colistin (COL) and ceftazidime-avibactam (CAZ/AVI) as mono- or combination therapies. Patients (n = 49) and CRKp isolates (n = 22) were part of the Consortium on Resistance Against Carbapenems in Klebsiella and other Enterobacteriaceae (CRACKLE-1), a multicenter, observational, prospective study of patients with carbapenem-resistant Enterobacterales (CRE) conducted between 2011 and 2016. Pharmacodynamic activity of mono- and combination drug concentrations was evaluated over 24 h using in vitro static time-kill assays. Bacterial growth and killing dynamics were estimated with a mechanism-based model. Random Forest was used to rank variables important for predicting

Phase II randomised discontinuation trial of brivanib in patients with advanced solid tumours

Background: Brivanib is a selective inhibitor of vascular endothelial growth factor and fibroblast growth factor (FGF) signalling. We performed a phase II randomised discontinuation trial of brivanib in 7 tumour types (soft-tissue sarcomas [STS], ovarian cancer, breast cancer, pancreatic cancer, non-small-cell lung cancer [NSCLC], gastric/esophageal cancer and transitional cell carcinoma [TCC]). Patients and methods: During a 12-week open-label lead-in period, patients received brivanib 800 mg daily and were evaluated for FGF2 status by immunohistochemistry. Patients with stable disease at week 12 were randomised to brivanib or placebo. A study steering committee evaluated week 12 response to determine if enrolment in a tumour type would continue. The primary objective was progression-free survival (PFS) for brivanib versus placebo in patients with FGF2-positive tumours. Results: A total of 595 patients were treated, and stable disease was observed at the week 12 randomisation point in all tumour types. Closure decisions were made for breast cancer, pancreatic cancer, NSCLC, gastric cancer and TCC. Criteria for expansion were met for STS and ovarian cancer. In 53 randomised patients with STS and FGF2-positive tumours, the median PFS was 2.8 months for brivanib and 1.4 months for placebo (hazard ratio [HR]: 0.58, p = 0.08). For all randomised patients with sarcomas, the median PFS was 2.8 months (95% confidence interval [CI]: 1.4–4.0) for those treated with brivanib compared with 1.4 months (95% CI: 1.3–1.6) for placebo (HR = 0.64, 95% CI: 0.38–1.07; p = 0.09). In the 36 randomised patients with ovarian cancer and FGF2-positive tumours, the median PFS was 4.0 (95% CI: 2.6–4.2) months for brivanib and 2.0 months (95% CI: 1.2–2.7) for placebo (HR: 0.56, 95% CI: 0.26–1.22). For all randomised patients with ovarian cancer, the median PFS in those randomised to brivanib was 4.0 months (95% CI: 2.6–4.2) and was 2.0 months (95% CI: 1.2–2.7) in those randomised to placebo (HR = 0.54, 95% CI: 0.25–1.17; p = 0.11). Conclusion: Brivanib demonstrated activity in STS and ovarian cancer with an acceptable safety profile. FGF2 expression, as defined in the protocol, is not a predictive biomarker of the efficacy of brivanib

New insights into the genetic etiology of Alzheimer's disease and related dementias

Characterization of the genetic landscape of Alzheimer's disease (AD) and related dementias (ADD) provides a unique opportunity for a better understanding of the associated pathophysiological processes. We performed a two-stage genome-wide association study totaling 111,326 clinically diagnosed/'proxy' AD cases and 677,663 controls. We found 75 risk loci, of which 42 were new at the time of analysis. Pathway enrichment analyses confirmed the involvement of amyloid/tau pathways and highlighted microglia implication. Gene prioritization in the new loci identified 31 genes that were suggestive of new genetically associated processes, including the tumor necrosis factor alpha pathway through the linear ubiquitin chain assembly complex. We also built a new genetic risk score associated with the risk of future AD/dementia or progression from mild cognitive impairment to AD/dementia. The improvement in prediction led to a 1.6- to 1.9-fold increase in AD risk from the lowest to the highest decile, in addition to effects of age and the APOE ε4 allele