Given a resplendent model for Peano arithmetic there exists a full satisfaction class over , i.e. an assignment of truth-values, to all closed formulas in the sense of with parameters from , which satisfies the usual semantic rules. The construction is based on the consistency of an appropriate system of -logic which is proved by an analysis of standard approximations of nonstandard formulas.

The co‐chaperone BAG1 binds and regulates 70 kDa heat shock proteins (Hsp70/Hsc70) and exhibits cytoprotective activity in cell culture models. Recently, we observed that BAG1 expression is induced during neuronal differentiation in the developing brain. However, the in vivo effects of BAG1 during development and after maturation of the central nervous system have never been examined. We generated transgenic mice over‐expressing BAG1 in neurons. While brain development was essentially normal, cultured cortical neurons from transgenic animals exhibited resistance to glutamate‐induced, apoptotic neuronal death. Moreover, in an in vivo stroke model involving transient middle cerebral artery occlusion, BAG1 transgenic mice demonstrated decreased mortality and substantially reduced infarct volumes compared to wild‐type littermates. Interestingly, brain tissue from BAG1 transgenic mice contained higher levels of neuroprotective Hsp70/Hsc70 protein but not mRNA, suggesting a potential mechanism whereby BAG1 exerts its anti‐apoptotic effects. In summary, BAG1 displays potent neuroprotective activity in vivo against stroke, and therefore represents an interesting target for developing new therapeutic strategies including gene therapy and small‐molecule drugs for reducing brain injury during cerebral ischemia and neurodegenerative diseases.

Microtubule-associated protein 2 (MAP2), a protein linked to the neuronal cytoskeleton in the mature central nervous system (CNS), has recently been identified in glial precursors indicating a potential role during glial development. In the present study, we systematically analyzed the expression of MAP2 in a series of 237 human neuroepithelial tumors including paraffin-embedded specimens and tumor tissue microarrays from oligodendrogliomas, mixed gliomas, astrocytomas, glioblastomas, ependymomas, as well as dysembryoplastic neuroepithelial tumors (DNT), and central neurocytomas. In addition, MAP2-immunoreactive precursor cells were studied in the developing human brain. Three monoclonal antibodies generated against MAP2A-B or MAP2A-D isoforms were used. Variable immunoreactivity for MAP2 could be observed in all gliomas with the exception of ependymomas. Oligodendrogliomas exhibited a consistently strong and distinct pattern of expression characterized by perinuclear cytoplasmic staining without significant process labeling. Tumor cells with immunoreactive bi- or multi-polar processes were mostly encountered in astroglial neoplasms, whereas the small cell component in neurocytomas and DNT was not labeled. These features render MAP2 immunoreactivity a helpful diagnostic tool for the distinction of oligodendrogliomas and other neuroepithelial neoplasms. RT-PCR, Western blot analysis, and in situ hybridization confirmed the expression of MAP2A-C (including the novel MAP2+ 13 transcript) in both oligodendrogliomas and astrocytomas. Double fluorescent laser scanning microscopy showed that GFAP and MAP2 labeled different tumor cell populations. In embryonic human brains, MAP2-immunoreactive glial precursor cells were identified within the subventricular or intermediate zones. These precursors exhibit morphology closely resembling the immunolabeled neoplastic cells observed in glial tumors. Our findings demonstrate MAP2 expression in astrocytic and oligodendroglial neoplasms. The distinct pattern of immunoreactivity in oligodendrogliomas may be useful as a diagnostic tool. Since MAP2 expression occurs transiently in migrating immature glial cells, our findings are in line with an assumed origin of diffuse gliomas from glial precursors.

No abstract

No abstract