Paradox, arithmetic and nontransitive logic

This dissertation is concerned with motivating, developing and defending nontransitive theories of truth over Peano Arithmetic. Its main goal is to show that such a nontransitive theory of truth is the only theory capable of maintaining all functional roles of the truth predicate: the substitutional and the quantificational roles. By the substitutional roles we mean that the theory ought to prove p iff it proves that p is true and that it proves all instances of the T-schema p iff 'p' is true. A theory fulfils the quantificational role if its axioms governing the truth-predicate are strong enough to mimick as much second-order quantification as possible. Where the literature on classical theories of truth has focused primarily on the fulfilment of the quantificational role, the nonclassical literature is very much obsessed with the substitutional roles. The problem of having a theory of truth fulfilling both the substitutional and quantificational (or already just the full substitutional) role are paradoxes of truth such as the Liar. Where the Liar is a sentence which informally says about itself that it is not true, we can show that it is both true and not true, which typically allows us to conclude any formula whatsoever. This problem is overcome in the current approach by blocking the use of transitivity principles under certain conditions

Paradox, arithmetic and nontransitive logic

This dissertation is concerned with motivating, developing and defending nontransitive theories of truth over Peano Arithmetic. Its main goal is to show that such a nontransitive theory of truth is the only theory capable of maintaining all functional roles of the truth predicate: the substitutional and the quantificational roles. By the substitutional roles we mean that the theory ought to prove p iff it proves that p is true and that it proves all instances of the T-schema p iff 'p' is true. A theory fulfils the quantificational role if its axioms governing the truth-predicate are strong enough to mimick as much second-order quantification as possible. Where the literature on classical theories of truth has focused primarily on the fulfilment of the quantificational role, the nonclassical literature is very much obsessed with the substitutional roles. The problem of having a theory of truth fulfilling both the substitutional and quantificational (or already just the full substitutional) role are paradoxes of truth such as the Liar. Where the Liar is a sentence which informally says about itself that it is not true, we can show that it is both true and not true, which typically allows us to conclude any formula whatsoever. This problem is overcome in the current approach by blocking the use of transitivity principles under certain conditions

Process development in Hansenula polymorpha and Arxula adeninivorans, a re-assessment

A range of industrial H. polymorpha-based processes exist, most of them for the production of pharmaceuticals. The established industrial processes lean on the use of promoters derived from MOX and FMD, genes of the methanol metabolism pathway. In Hansenula polymorpha these promoters are de-repressed upon depletion of a range of carbon sources like glucose and glycerol instead of being induced by methanol as reported for other methylotrophs. Due to these characteristics screening and fermentation modes have been defined for strains harbouring such expression control elements that lean on a limited supplementation of glycerol or glucose to a culture medium. For fermentation of H. polymorpha a synthetic minimal medium (SYN6) has been developed. No industrial processes have been developed so far based on Arxula adeninivorans and only a limited range of strong promoter elements exists, suitable for heterologous gene expression. SYN6 originally designed for H. polymorpha provided a suitable basis for the initial definition of fermentation conditions for this dimorphic yeast. Characteristics like osmo- and thermotolerance can be addressed for the definition of culture conditions

Curating Tempelhof: negotiating the multiple histories of Berlin's ‘symbol of freedom’

Despite its National Socialist origins, the post-war use of Berlin’s Tempelhof Airport has seen it recast as a ‘symbol of freedom’. Since the airport’s 2008 closure the site has been caught between calls for increased engagement with its use under the Third Reich and economic incentives to repackage it as an attractive events location. Through analysing the different strategies through which Tempelhof’s past is negotiated, this article will highlight the contested nature of Berlin’s relationship with the past and the complex interaction between memory politics and more pragmatic issues

NFκB activation by Fas is mediated through FADD, caspase-8, and RIP and is inhibited by FLIP

Fas (APO-1/CD95) is the prototypic death receptor, and the molecular mechanisms of Fas-induced apoptosis are comparably well understood. Here, we show that Fas activates NFκB via a pathway involving RIP, FADD, and caspase-8. Remarkably, the enzymatic activity of the latter was dispensable for Fas-induced NFκB signaling pointing to a scaffolding-related function of caspase-8 in nonapoptotic Fas signaling. NFκB was activated by overexpressed FLIPL and FLIPS in a cell type–specific manner. However, in the context of Fas signaling both isoforms blocked FasL-induced NFκB activation. Moreover, down-regulation of both endogenous FLIP isoforms or of endogenous FLIPL alone was sufficient to enhance FasL-induced expression of the NFκB target gene IL8. As NFκB signaling is inhibited during apoptosis, FasL-induced NFκB activation was most prominent in cells that were protected by Bcl2 expression or caspase inhibitors and expressed no or minute amounts of FLIP. Thus, protection against Fas-induced apoptosis in a FLIP-independent manner converted a proapoptotic Fas signal into an inflammatory NFκB-related response

Recognition of microbial viability via TLR8 drives TFH cell differentiation and vaccine responses

Live attenuated vaccines are generally highly efficacious and often superior to inactivated vaccines, yet the underlying mechanisms of this remain largely unclear. Here we identify recognition of microbial viability as a potent stimulus for follicular helper T cell (TFH cell) differentiation and vaccine responses. Antigen-presenting cells (APCs) distinguished viable bacteria from dead bacteria through Toll-like receptor 8 (TLR8)-dependent detection of bacterial RNA. In contrast to dead bacteria and other TLR ligands, live bacteria, bacterial RNA and synthetic TLR8 agonists induced a specific cytokine profile in human and porcine APCs, thereby promoting TFH cell differentiation. In domestic pigs, immunization with a live bacterial vaccine induced robust TFH cell and antibody responses, but immunization with its heat-killed counterpart did not. Finally, a hypermorphic TLR8 polymorphism was associated with protective immunity elicited by vaccination with bacillus Calmette-Guérin (BCG) in a human cohort. We have thus identified TLR8 as an important driver of TFH cell differentiation and a promising target for TFH cell–skewing vaccine adjuvants

Pulmonary Hypertension in Adults with Congenital Heart Disease: Real-World Data from the International COMPERA-CHD Registry

Introduction: Pulmonary hypertension (PH) is a common complication in patients with congenital heart disease (CHD), aggravating the natural, post-operative, or post-interventional course of the underlying anomaly. The various CHDs differ substantially in characteristics, functionality, and clinical outcomes among each other and compared with other diseases with pulmonary hypertension. Objective: To describe current management strategies and outcomes for adults with PH in relation to different types of CHD based on real-world data. Methods and results: COMPERA (Comparative, Prospective Registry of Newly Initiated Therapies for Pulmonary Hypertension) is a prospective, international PH registry comprising, at the time of data analysis, >8200 patients with various forms of PH. Here, we analyzed a subgroup of 680 patients with PH due to CHD, who were included between 2007 and 2018 in 49 specialized centers for PH and/or CHD located in 11 European countries. At enrollment, the patients’ median age was 44 years (67% female), and patients had either pre-tricuspid shunts, post-tricuspid shunts, complex CHD, congenital left heart or aortic disease, or miscellaneous other types of CHD. Upon inclusion, targeted therapies for pulmonary arterial hypertension (PAH) included endothelin receptor antagonists, PDE-5 inhibitors, prostacyclin analogues, and soluble guanylate cyclase stimulators. Eighty patients with Eisenmenger syndrome were treatment-naïve. While at inclusion the primary PAH treatment for the cohort was monotherapy (70% of patients), with 30% of the patients on combination therapy, after a median observation time of 45.3 months, the number of patients on combination therapy had increased significantly, to 50%. The use of oral anticoagulants or antiplatelets was dependent on the underlying diagnosis or comorbidities. In the entire COMPERA-CHD cohort, after follow-up and receiving targeted PAH therapy (n = 511), 91 patients died over the course of a 5-year follow up. The 5-year Kaplan–Meier survival estimate for CHD associated PH was significantly better than that for idiopathic PAH (76% vs. 54%; p < 0.001). Within the CHD associated PH group, survival estimates differed particularly depending on the underlying diagnosis and treatment status. Conclusions: In COMPERA-CHD, the overall survival of patients with CHD associated PH was dependent on the underlying diagnosis and treatment status, but was significantly better as than that for idiopathic PAH. Nevertheless, overall survival of patients with PAH due to CHD was still markedly reduced compared with survival of patients with other types of CHD, despite an increasing number of patients on PAH-targeted combination therapy

Genome-wide association meta-analyses and fine-mapping elucidate pathways influencing albuminuria

Abstract: Increased levels of the urinary albumin-to-creatinine ratio (UACR) are associated with higher risk of kidney disease progression and cardiovascular events, but underlying mechanisms are incompletely understood. Here, we conduct trans-ethnic (n = 564,257) and European-ancestry specific meta-analyses of genome-wide association studies of UACR, including ancestry- and diabetes-specific analyses, and identify 68 UACR-associated loci. Genetic correlation analyses and risk score associations in an independent electronic medical records database (n = 192,868) reveal connections with proteinuria, hyperlipidemia, gout, and hypertension. Fine-mapping and trans-Omics analyses with gene expression in 47 tissues and plasma protein levels implicate genes potentially operating through differential expression in kidney (including TGFB1, MUC1, PRKCI, and OAF), and allow coupling of UACR associations to altered plasma OAF concentrations. Knockdown of OAF and PRKCI orthologs in Drosophila nephrocytes reduces albumin endocytosis. Silencing fly PRKCI further impairs slit diaphragm formation. These results generate a priority list of genes and pathways for translational research to reduce albuminuria