An order-theoretic characterization of the Howard-Bachmann-hierarchy

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees with respect to a homeomorphic embeddability relation. We use our calculations to draw some conclusions about some corresponding subsystems of second order arithmetic. All these subsystems deal with versions of light-face Π₁¹-comprehension

Robust computational reconstitution – a new method for the comparative analysis of gene expression in tissues and isolated cell fractions

BACKGROUND: Biological tissues consist of various cell types that differentially contribute to physiological and pathophysiological processes. Determining and analyzing cell type-specific gene expression under diverse conditions is therefore a central aim of biomedical research. The present study compares gene expression profiles in whole tissues and isolated cell fractions purified from these tissues in patients with rheumatoid arthritis and osteoarthritis. RESULTS: The expression profiles of the whole tissues were compared to computationally reconstituted expression profiles that combine the expression profiles of the isolated cell fractions (macrophages, fibroblasts, and non-adherent cells) according to their relative mRNA proportions in the tissue. The mRNA proportions were determined by trimmed robust regression using only the most robustly-expressed genes (1/3 to 1/2 of all measured genes), i.e. those showing the most similar expression in tissue and isolated cell fractions. The relative mRNA proportions were determined using several different chip evaluation methods, among which the MAS 5.0 signal algorithm appeared to be most robust. The computed mRNA proportions agreed well with the cell proportions determined by immunohistochemistry except for a minor number of outliers. Genes that were either regulated (i.e. differentially-expressed in tissue and isolated cell fractions) or robustly-expressed in all patients were identified using different test statistics. CONCLUSION: Robust Computational Reconstitution uses an intermediate number of robustly-expressed genes to estimate the relative mRNA proportions. This avoids both the exclusive dependence on the robust expression of individual, highly cell type-specific marker genes and the bias towards an equal distribution upon inclusion of all genes for computation

A Note on Universal Measures for Weak Implicit Computational Complexity

Abstract. This note is a case study for finding universal measures for weak implicit computational complexity. We will instantiate “univer-sal measures ” by “dynamic ordinals”, and “weak implicit computational complexity ” by “bounded arithmetic”. Concretely, we will describe the connection between dynamic ordinals and witness oracle Turing ma-chines for bounded arithmetic theories

Protective versus pathogenic anti-CD4 immunity: insights from the study of natural resistance to HIV infection

HIV-1 exposure causes several dramatic unbalances in the immune system homeostasis. Here, we will focus on the paradox whereby CD4 specific autoimmune responses, which are expected to contribute to the catastrophic loss of most part of the T helper lymphocyte subset in infected patients, may display the characteristics of an unconventional protective immunity in individuals naturally resistant to HIV-1 infection. Reference to differences in fine epitope mapping of these two oppositely polarized outcomes will be presented, with particular reference to partially or totally CD4-gp120 complex-specific antibodies. The fine tuning of the anti-self immune response to the HIV-1 receptor may determine whether viral exposure will result in infection or, alternatively, protective immunity

Molecular imaging of rheumatoid arthritis by radiolabelled monoclonal antibodies: new imaging strategies to guide molecular therapies

The closing of the last century opened a wide variety of approaches for inflammation imaging and treatment of patients with rheumatoid arthritis (RA). The introduction of biological therapies for the management of RA started a revolution in the therapeutic armamentarium with the development of several novel monoclonal antibodies (mAbs), which can be murine, chimeric, humanised and fully human antibodies. Monoclonal antibodies specifically bind to their target, which could be adhesion molecules, activation markers, antigens or receptors, to interfere with specific inflammation pathways at the molecular level, leading to immune-modulation of the underlying pathogenic process. These new generation of mAbs can also be radiolabelled by using direct or indirect method, with a variety of nuclides, depending upon the specific diagnostic application. For studying rheumatoid arthritis patients, several monoclonal antibodies and their fragments, including anti-TNF-α, anti-CD20, anti-CD3, anti-CD4 and anti-E-selectin antibody, have been radiolabelled mainly with 99mTc or 111In. Scintigraphy with these radiolabelled antibodies may offer an exciting possibility for the study of RA patients and holds two types of information: (1) it allows better staging of the disease and diagnosis of the state of activity by early detection of inflamed joints that might be difficult to assess; (2) it might provide a possibility to perform ‘evidence-based biological therapy’ of arthritis with a view to assessing whether an antibody will localise in an inflamed joint before using the same unlabelled antibody therapeutically. This might prove particularly important for the selection of patients to be treated since biological therapies can be associated with severe side-effects and are considerably expensive. This article reviews the use of radiolabelled mAbs in the study of RA with particular emphasis on the use of different radiolabelled monoclonal antibodies for therapy decision-making and follow-up