Cauchy completeness in elementary logic

The inverse of the distance between two structures A not equal B of finite type sis naturally measured by the smallest integer q such that a sentence of quantifier rank q-1 is satisfied by A but not by B. In this way the space Str of structures of type tau is equipped with a pseudometric. The induced topology coincides with the elementary topology of Str(tau). Using the rudiments of the theory of uniform spaces, in this elementary note we prove the convergence of every Cauchy net of structures, for any type tau.6141153115

Respiratory mucosal immune memory to SARS-CoV-2 after infection and vaccination

Respiratory mucosal immunity induced by vaccination is vital for protection from coronavirus infection in animal models. In humans, the capacity of peripheral vaccination to generate sustained immunity in the lung mucosa, and how this is influenced by prior SARS-CoV-2 infection, is unknown. Here we show using bronchoalveolar lavage samples that donors with history of both infection and vaccination have more airway mucosal SARS-CoV-2 antibodies and memory B cells than those only vaccinated. Infection also induces populations of airway spike-specific memory CD4+ and CD8+ T cells that are not expanded by vaccination alone. Airway mucosal T cells induced by infection have a distinct hierarchy of antigen specificity compared to the periphery. Spike-specific T cells persist in the lung mucosa for 7 months after the last immunising event. Thus, peripheral vaccination alone does not appear to induce durable lung mucosal immunity against SARS-CoV-2, supporting an argument for the need for vaccines targeting the airways

Functional analysis of frequently expressed Chinese rhesus macaque MHC class I molecules Mamu-A1*02601 and Mamu-B*08301 reveals HLA-A2 and HLA-A3 supertypic specificities

The Simian immunodeficiency virus (SIV)-infected Indian rhesus macaque (Macaca mulatta) is the most established model of HIV infection and AIDS-related research, despite the potential that macaques of Chinese origin is a more relevant model. Ongoing efforts to further characterize the Chinese rhesus macaques’ major histocompatibility complex (MHC) for composition and function should facilitate greater utilization of the species. Previous studies have demonstrated that Chinese-origin M. mulatta (Mamu) class I alleles are more polymorphic than their Indian counterparts, perhaps inferring a model more representative of human MHC, human leukocyte antigen (HLA). Furthermore, the Chinese rhesus macaque class I allele Mamu-A1*02201, the most frequent allele thus far identified, has recently been characterized and shown to be an HLA-B7 supertype analog, the most frequent supertype in human populations. In this study, we have characterized two additional alleles expressed with high frequency in Chinese rhesus macaques, Mamu-A1*02601 and Mamu-B*08301. Upon the development of MHC–peptide-binding assays and definition of their associated motifs, we reveal that these Mamu alleles share peptide-binding characteristics with the HLA-A2 and HLA-A3 supertypes, respectively, the next most frequent human supertypes after HLA-B7. These data suggest that Chinese rhesus macaques may indeed be a more representative model of HLA gene diversity and function as compared to the species of Indian origin and therefore a better model for investigating human immune responses

The most common Chinese rhesus macaque MHC class I molecule shares peptide binding repertoire with the HLA-B7 supertype

Of the two rhesus macaque subspecies used for AIDS studies, the Simian immunodeficiency virus-infected Indian rhesus macaque (Macaca mulatta) is the most established model of HIV infection, providing both insight into pathogenesis and a system for testing novel vaccines. Despite the Chinese rhesus macaque potentially being a more relevant model for AIDS outcomes than the Indian rhesus macaque, the Chinese-origin rhesus macaques have not been well-characterized for their major histocompatibility complex (MHC) composition and function, reducing their greater utilization. In this study, we characterized a total of 50 unique Chinese rhesus macaques from several varying origins for their entire MHC class I allele composition and identified a total of 58 unique complete MHC class I sequences. Only nine of the sequences had been associated with Indian rhesus macaques, and 28/58 (48.3%) of the sequences identified were novel. From all MHC alleles detected, we prioritized Mamu-A1*02201 for functional characterization based on its higher frequency of expression. Upon the development of MHC/peptide binding assays and definition of its associated motif, we revealed that this allele shares peptide binding characteristics with the HLA-B7 supertype, the most frequent supertype in human populations. These studies provide the first functional characterization of an MHC class I molecule in the context of Chinese rhesus macaques and the first instance of HLA-B7 analogy for rhesus macaques

The Class of All Natural Implicative Expansions of Kleene’s Strong Logic Functionally Equivalent to Łukasiewicz’s 3-Valued Logic Ł3

25 p.We consider the logics determined by the set of all natural implicative expansions of Kleene’s strong 3-valued matrix (with both only one and two designated values) and select the class of all logics functionally equivalent to Łukasiewicz’s 3-valued logic Ł3. The concept of a “natural implicative matrix” is based upon the notion of a “natural conditional” defined in Tomova (Rep Math Log 47:173–182, 2012).S

A combined prediction strategy increases identification of peptides bound with high affinity and stability to porcine MHC class I molecules SLA-1*04:01, SLA-2*04:01, and SLA-3*04:01

Affinity and stability of peptides bound by major histocompatibility complex (MHC) class I molecules are important factors in presentation of peptides to cytotoxic T lymphocytes (CTLs). In silico prediction methods of peptide-MHC binding followed by experimental analysis of peptide-MHC interactions constitute an attractive protocol to select target peptides from the vast pool of viral proteome peptides. We have earlier reported the peptide binding motif of the porcine MHC-I molecules SLA-1*04:01 and SLA-2*04:01, identified by an ELISA affinity-based positional scanning combinatorial peptide library (PSCPL) approach. Here, we report the peptide binding motif of SLA-3*04:01 and combine two prediction methods and analysis of both peptide binding affinity and stability of peptide-MHC complexes to improve rational peptide selection. Using a peptide prediction strategy combining PSCPL binding matrices and in silico prediction algorithms (NetMHCpan), peptide ligands from a repository of 8900 peptides were predicted for binding to SLA-1*04:01, SLA-2*04:01, and SLA-3*04:01 and validated by affinity and stability assays. From the pool of predicted peptides for SLA-1*04:01, SLA-2*04:01, and SLA-3*04:01, a total of 71, 28, and 38 % were binders with affinities below 500 nM, respectively. Comparison of peptide-SLA binding affinity and complex stability showed that peptides of high affinity generally, but not always, produce complexes of high stability. In conclusion, we demonstrate how state-of-the-art prediction and in vitro immunology tools in combination can be used for accurate selection of peptides for MHC class I binding, hence providing an expansion of the field of peptide-MHC analysis also to include pigs as a livestock experimental model.Fil: Pedersen, Lasse Eggers. Technical University of Denmark; DinamarcaFil: Rasmussen, Michael. Universidad de Copenhagen; DinamarcaFil: Harndahl, Mikkel. Universidad de Copenhagen; DinamarcaFil: Nielsen, Morten. Technical University of Denmark; Dinamarca. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - La Plata. Instituto de Investigaciones Biotecnológicas. Instituto de Investigaciones Biotecnológicas (subsede Chascomús) | Universidad Nacional de San Martín. Instituto de Investigaciones Biotecnológicas. Instituto de Investigaciones Biotecnológicas (subsede Chascomús); ArgentinaFil: Buus, Søren. Universidad de Copenhagen; DinamarcaFil: Jungersen, Gregers. Technical University of Denmark; Dinamarc

Identification of Conserved and HLA Promiscuous DENV3 T-Cell Epitopes

Anti-dengue T-cell responses have been implicated in both protection and immunopathology. However, most of the T-cell studies for dengue include few epitopes, with limited knowledge of their inter-serotype variation and the breadth of their human leukocyte antigen (HLA) affinity. In order to expand our knowledge of HLA-restricted dengue epitopes, we screened T-cell responses against 477 overlapping peptides derived from structural and non-structural proteins of the dengue virus serotype 3 (DENV3) by use of HLA class I and II transgenic mice (TgM): A2, A24, B7, DR2, DR3 and DR4. TgM were inoculated with peptides pools and the T-cell immunogenic peptides were identified by ELISPOT. Nine HLA class I and 97 HLA class II novel DENV3 epitopes were identified based on immunogenicity in TgM and their HLA affinity was further confirmed by binding assays analysis. A subset of these epitopes activated memory T-cells from DENV3 immune volunteers and was also capable of priming naïve T-cells, ex vivo, from dengue IgG negative individuals. Analysis of inter- and intra-serotype variation of such an epitope (A02-restricted) allowed us to identify altered peptide ligands not only in DENV3 but also in other DENV serotypes. These studies also characterized the HLA promiscuity of 23 HLA class II epitopes bearing highly conserved sequences, six of which could bind to more than 10 different HLA molecules representing a large percentage of the global population. These epitope data are invaluable to investigate the role of T-cells in dengue immunity/pathogenesis and vaccine design. © 2013 Nascimento et al

Proteomic Basis of the Antibody Response to Monkeypox Virus Infection Examined in Cynomolgus Macaques and a Comparison to Human Smallpox Vaccination

Monkeypox is a zoonotic viral disease that occurs primarily in Central and West Africa. A recent outbreak in the United States heightened public health concerns for susceptible human populations. Vaccinating with vaccinia virus to prevent smallpox is also effective for monkeypox due to a high degree of sequence conservation. Yet, the identity of antigens within the monkeypox virus proteome contributing to immune responses has not been described in detail. We compared antibody responses to monkeypox virus infection and human smallpox vaccination by using a protein microarray covering 92–95% (166–192 proteins) of representative proteomes from monkeypox viral clades of Central and West Africa, including 92% coverage (250 proteins) of the vaccinia virus proteome as a reference orthopox vaccine. All viral gene clones were verified by sequencing and purified recombinant proteins were used to construct the microarray. Serum IgG of cynomolgus macaques that recovered from monkeypox recognized at least 23 separate proteins within the orthopox proteome, while only 14 of these proteins were recognized by IgG from vaccinated humans. There were 12 of 14 antigens detected by sera of human vaccinees that were also recognized by IgG from convalescent macaques. The greatest level of IgG binding for macaques occurred with the structural proteins F13L and A33R, and the membrane scaffold protein D13L. Significant IgM responses directed towards A44R, F13L and A33R of monkeypox virus were detected before onset of clinical symptoms in macaques. Thus, antibodies from vaccination recognized a small number of proteins shared with pathogenic virus strains, while recovery from infection also involved humoral responses to antigens uniquely recognized within the monkeypox virus proteome