H is the theory extending β-conversion by identifying all closed unsolvables. Hω is the closure of this theory under the ω-rule (and β-conversion). A long-standing conjecture of H. Barendregt states that the provable equations of Hω form a Π11-complete set. Here we prove that conjecture.

Purpose: This study aimed to first investigate synchronous (SYN) versus asynchronous (ASY) mode of propulsion and, second, investigate the wheel camber effects on sprinting performance as well as temporal parameters. Method: Seven wheelchair basketball players performed four maximal eight-second sprints on a wheelchair ergometer. They repeated the test according to two modes of propulsion (SYN ...

Background: New food biomarkers are needed to objectively evaluate the effect of diet on health and to check adherence to dietary recommendations and healthy eating patterns. Objective: We developed a strategy for food biomarker discovery, which combined nutritional intervention with metabolic phenotyping and biomarker validation in a large-scale epidemiologic study. Design: We administered a s...

Increased concentrations of DNA-containing immune complexes in the serum are associated with systemic autoimmune diseases such as lupus. Stimulation of Toll-like receptor 9 (TLR9) by DNA is important in the activation of plasmacytoid dendritic cells and B cells. Here we show that HMGB1, a nuclear DNA-binding protein released from necrotic cells, was an essential component of DNA-containing immu...

Invadopodiaandpodosomes, collectively referred toas invadosomes, are F-actin-rich basal protrusions of cells that provide sites of attachment to and degradation of the extracellular matrix. Invadosomes promote the invasion of cells, ranging from metastatic cancer cells to immune cells, into tissue. Here, we show that neuronal growth cones form protrusions that share molecular, structural and fu...

Microglia serve key homeostatic roles, and respond to neuronal perturbation and decline with a high spatiotemporal resolution. The course of all chronic CNS pathologies is thus paralleled by local microgliosis and microglia activation, which begin at early stages of the disease. However, the possibility of using live monitoring of microglia during early disease progression to predict the severi...