Unfolding Feasible Arithmetic and Weak Truth

In this paper we continue Feferman’s unfolding program initiated in (Feferman, vol. 6 of Lecture Notes in Logic, 1996) which uses the concept of the unfolding U(S) of a schematic system S in order to describe those operations, predicates and principles concerning them, which are implicit in the acceptance of S. The program has been carried through for a schematic system of non-finitist arithmetic NFA in Feferman and Strahm (Ann Pure Appl Log, 104(1–3):75–96, 2000) and for a system FA (with and without Bar rule) in Feferman and Strahm (Rev Symb Log, 3(4):665–689, 2010). The present contribution elucidates the concept of unfolding for a basic schematic system FEA of feasible arithmetic. Apart from the operational unfolding U0(FEA) of FEA, we study two full unfolding notions, namely the predicate unfolding U(FEA) and a more general truth unfolding UT(FEA) of FEA, the latter making use of a truth predicate added to the language of the operational unfolding. The main results obtained are that the provably convergent functions on binary words for all three unfolding systems are precisely those being computable in polynomial time. The upper bound computations make essential use of a specific theory of truth TPT over combinatory logic, which has recently been introduced in Eberhard and Strahm (Bull Symb Log, 18(3):474–475, 2012) and Eberhard (A feasible theory of truth over combinatory logic, 2014) and whose involved proof-theoretic analysis is due to Eberhard (A feasible theory of truth over combinatory logic, 2014). The results of this paper were first announced in (Eberhard and Strahm, Bull Symb Log 18(3):474–475, 2012).

Procesos configurativos: de la trama a la noción de campo en los "mat buildings"

La presente tesis aborda el estudio sobre los llamados mat buildings, que surgen entre los años cincuenta y sesenta del pasado siglo. Los mat buildings, también llamados “edificios esteras” o “edificios alfombras”, nacen en gran parte como consecuencia de los desacuerdos e insatisfacciones de los CIAM con el reduccionismo funcionalista y los principios de compartimentación funcional. Estos nuevos modelos remplazan el modelo de ciudad entendido como una colección de edificios individuales por una concepción de un patrón urbano. No es la suma de la longitud, la altura y el ancho sino más bien una densa alfombra bi-dimensional, con una configuración de formas que ofrece al mismo tiempo un orden repetitivo y una infinita diversidad de secuencias con infinitas posibilidades de adaptación donde el hombre vive y se desplaza. Estas características que irán apareciendo en la obras de muchos de los arquitectos que forman parte del grupo Team X son los que Alison Smithson empieza a revelar en su artículo, con la ambición de manifestar una nueva sensibilidad y una nueva forma de entender y ver la arquitectura. Los mat buildings y los cluster serán los códigos utilizados por diferentes miembros del Team X para pensar una arquitectura y un urbanismo alternativo al propuesto por los CIAM. Mediante ellos encuentran el camino para una nueva estética de la conexión con un desplazamiento desde una concepción determinista de la forma arquitectónica (una forma cerrada y en general definida a priori) hacia una actitud más libre, más abierta, fundamentada no tanto en la entereza de la forma global sino en cuanto a la intensidad de sus redes internas y de sus diferentes niveles de asociación. La tesis tiene como propósito final cuestionar si esta tipología de edificios, cuyo principio de base es siempre una matriz geométrica abierta (trama, retícula, malla), con crecimiento ilimitado, puede redefinir la frontera entre ciudad y edificio y, por tanto, entre público y privado, individual y colectivo, estructural e infraestructural, permanente y variable. Por ello, se presenta un estudio histórico y crítico en profundidad sobre los mat buildings, analizando detenidamente y por orden cronológico cinco de sus obras más paradigmáticas: el Orfanato en Ámsterdam de Aldo Van Eyck, la Universidad Libre en Berlín de Candilis, Josic y Woods, el Hospital de Venecia de Le Corbusier y Guillermo Jullián de la Fuente, el edificio administrativo de la Centraal Beheer en Apeldoorn de Herman Hertzberger, y por último el MUSAC en León, realizado por Mansilla y Tuñon. Las cuatro primeras obras pertenecen al periodo Team X y son precursoras de muchos otros proyectos que aparecerán a posteriori. La última obra analizada, el MUSAC, es estudiada conjuntamente con algunas obras del arquitecto japonés Sou Fujimoto y otros casos contemporáneos con la intención de manifestar cómo arquitectos de horizontes muy diferentes vuelven a recurrir a estos modelos de crecimientos ilimitados. Mediante el estudio de varios ejemplos contemporáneos se examinan las repercusiones, transformaciones y evoluciones que estos modelos han tenido. La exploración contrastada permite apreciar adecuadamente la pertinencia de estos modelos y los cambios de modalidades y de procesos que advienen con la aparición en el panorama contemporáneo de la noción de campo y los cambios de paradigma que conlleva. Estos nuevos modelos abren nuevos procesos y forma de abordar la arquitectura basada en las relaciones, flujos, movimientos y asociaciones que son caracterizados por diferentes patrones que vienen a alimentar todo el proceso del proyecto arquitectónico. El estudio de estos nuevos modelos nos indica las cualidades que puede ofrecer la revisión de estos métodos para empezar a tratar nuevas cuestiones que hoy en día parecen ser, permanentemente, parte de la condición urbana. XII ABSTRACT This thesis deals with the study of the so-called mat buildings which emerged between the fifties and sixties of the last century. Mat, or carpet, buildings appeared largely as a result of the CIAM’s disagreement and dissatisfaction with functionalist reductionism and the principles of functional compartmentalisation. These new models replaced the model of the city, seen as a collection of individual buildings, with the concept of an urban pattern. It is not the sum of the length, height and width but rather a dense, two- dimensional mat with a configuration of forms offering both a repetitive order and an infinite diversity of sequences with endless possibilities for adaptation, where man lives and circulates. These characteristics, which appeared in the works of many of the architects who formed part of Team X, are those that Alison Smithson started to reveal in her article with the aim of manifesting a new sensibility and a new way of understanding and seeing architecture. Mat buildings and clusters were the codes used by different members of Team X to plan an alternative architecture and urbanism to that proposed by the CIAM. With them, they found the path for a new aesthetic of connection, with a shift from a deterministic concept of the architectural form (closed and generally defined a priori) towards a more free, more open attitude based not so much on the integrity of the overall form but on the intensity of its internal networks and different levels of association. The end purpose of this thesis is to question whether this type of building, the basic principle of which is always an open geometric matrix (grid, recticle, network) with unlimited growth, can redefine the boundary between city and building and, thus, between public and private, individual and collective, structural and infrastructural, and permanent and variable. To this end, an in-depth historical and critical study of mat buildings is presented, analysing carefully and in chronological order five of the most paradigmatic works of this style: the Orphanage in Amsterdam, by Aldo Van Eyck; the Free University of Berlin, by Candilis, Josic and Woods; Venice Hospital, by Le Corbusier and Guillermo Jullián de la Fuente; the Centraal Beheer administration building in Apeldoorn, by Herman Hertzberger; and lastly, the MUSAC (Contemporary Art Museum) in León, designed by Mansilla and Tuñon. The first four works are from the Team X period and were the precursors to many other projects that would appear later. The last work analysed, the MUSAC, is studied together with some works by Japanese architect Sou Fujimoto and other contemporary cases to show how architects with very different perspectives revert to these models of limitless growth. Through the study of several contemporary examples we examine the repercussions, transformations and evolutions these models have had. The contrasted research XIII allows us to properly appreciate the importance of these models and the changes in forms and processes that came with the emergence of the idea of field in the contemporary arena and the paradigm shifts it entailed. These new models opened up new processes and a way of approaching architecture based on relationships, flows, movements and associations characterised by different patterns that feed the entire process of the architectural project. The study of these new models shows us the benefits that a review of these methods can contribute to addressing new issues that today appear to be a permanent part of the urban condition.

Lo intermedio como lugar : lo intersticial, lo fronterizo y lo impreciso en la arquitectura contemporánea

1. Nuestra investigación se centra en el estudio de los “ámbitos o espacios intermedios” en momentos de la arquitectura contemporánea, en un período de transición entre finales de los años 80 y nuestros días. Pretendemos analizar cómo se presenta el ámbito intermedio en el objeto o lugar arquitectónico y su función o relación con el entorno cercano, desde el proyecto hasta su repercusión en la experiencia vivida. 2. El concepto de intermedio entendido como ámbito o espacio intersticial, fronterizo y ambivalente (o multivalente), atraviesa en la presente investigación el campo de la etimología, de la ciencia, del pensamiento y del arte, para detenerse en la arquitectura actual, llevándose a cabo una indagación concreta en el proceso de concepción, en la propuesta formal, espacial y funcional, así como en la percepción y demás experiencias o vivencias en el lugar arquitectónico. 3. En primer lugar nos proponemos estudiar y explorar el concepto de “intermedio” en sus características, funciones y ubicaciones dentro de la cultura contemporánea, detectando sus antecedentes culturales más importantes, para a continuación aplicarlo reflexivamente a obras significativas de arquitectura. La investigación se enfoca en la modalidad figural (imprecisa) de lo intermedio (en alusión al “figural” deleuziano), cuyas metáforas base son lo translúcido, la penumbra y la espuma, vinculadas al actual paradigma cultural de la complejidad (C. Jencks). A continuación se analizan las relaciones o implicaciones de dicha modalidad figural en obras de arquitectos como Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel y Bos, y Siza, comprobando su valor operativo y poniendo de manifiesto su sentido e importancia en la actualidad y en la disciplina. El estudio tiene como trasfondo el concepto de in-between de la obra de Eisenman, y utiliza conceptos de la filosofía del límite de Trías como algunos de sus principales fundamentos. 4. En cada una de las obras de arquitectura presentadas esta modalidad imprecisa se traduce en un ámbito o espacio intermedio figural específico. Son obras en las que real y virtual, matricial y objetual, arquitectura y territorio, existente y nuevo, colectivo e individual, social e íntimo, interior y exterior, y demás usos y funciones se entrelazan o funden. Son arquitecturas cuya geometría ya no se encuentra tan determinada por aspectos bi o tridimensionales del dibujo o de la construcción. A través de la manipulación de estas geometrías más o menos complejas, dinámicas e intersticiales, estas obras reflejan (o intuyen) las premisas del actual Zeitgeist: un cambio de esquemas de objetos a relaciones basado en un pensamiento más holístico, transdisciplinar, sistémico o complejo (E. Morin), y una nueva conciencia colectiva sobre la realidad que anuncia la crisis de la percepción, el cambio de paradigma y nuevos valores (F. Capra). Emerge otra forma de sentir y percibir el mundo, los lugares y los espacios, que poco a poco está cambiando el modo de pensar y dibujar la arquitectura, y consecuentemente de interaccionar con ella. 5. El sentido del espacio intermedio figural, emerge en las cada vez más complejas cualidades morfológico-espaciales y funcionales de una parte importante de la arquitectura actual. Arquitectura, geometría y tecnología informática están más entrelazadas que nunca, y de un modo más libre, para así poder indagar en nuevas formas de pensar y crear lugares en que los “espacios intermedios” que investigamos son un testimonio. El espacio arquitectónico se vuelve afectivo e interactivo, un lugar intermedio figural, formalizado por espacialidades intersticiales que parecen aludir a lo líquido, donde la forma es más matriz que configuración, el espacio más espacialidad que compartimiento, la función más versátil y multivalente que específica o autónoma, y la perplejidad, la imaginación y la evocación se entrecruzan y vuelven patentes. 6. La arquitectura de los lugares intermedios valora no solamente el “plano”, la “configuración” y la “transparencia”, sino sobre todo el “espacio” y la “relación” en sus interrelaciones con los usuarios y demás contextos. De la identidad a la relacionalidad, de la representación a la presentación, es una arquitectura que propone “otros espacios” que más que espacios son topografías y espacialidades intersticiales, de tensión, transición, transformación, relación, intercambio e interacción. Son lugares intermedios reales y virtuales, que se sirven tanto de la morfología como de la topología para conquistar nuevas espacialidades, pretendiendo salir de la estricta operación de “forming”/”morphing”/formación/”conformación” para explorar la de “spacing”/espaciamiento. Son lugares que se basan en conceptos como la zona de indiscernibilidad de Deleuze, la imagen- flujo de Buci-Glucksmann, la suspensión-entre de Sloterdijk, o el espacio no-objetivo al que se refiere José Gil, plasmándose en la arquitectura contemporánea como tropos de lo intersticial. 7. Son los lugares intermedios de la arquitectura actual, de espacialidad háptica, más “afectiva”, generativa e interactiva, donde ese ámbito intermedio transforma y es transformado, “afecta”, “con-mueve” (nos hace mover/accionar) y evoca otros lugares, otras posibilidades de espacio habitable u ocupable. Emerge lo intermedio como lugar, algo que anuncia y exhibe, de manera paradigmática y manifiesta, el monumento de Eisenman en Berlín. ABSTRACT 1. Our research focuses on the study of “in-between spaces or environments” at particular times in contemporary architecture, in a transition period from the end of the 1980’s through to today. We aim to analyse how in-between environments are presented in the architectural object or place and their function or their relationship with the nearby surroundings, from the project through to the experience had. 2. In this research, the in-between concept, understood as an interstitial, border and ambivalent (or multi-purpose) environment or space, is assessed from the viewpoint of etymology, science, thought and art, to conclude in current architecture, with specific exploration of the conception process, of the formal, spatial and functional proposal, together with the perception and other experiences in the architectural place. 3. Firstly, we aim to study and explore the “in-between” concept as regards its features, functions and locations within contemporary culture, revealing its most important cultural background, to then apply it reflexively to important works of architecture. The research focuses on the figural (imprecise) mode of in-between (in allusion to Deleuze’s “figural” approach) whose base metaphors are the translucent, semi-darkness and foam, linked to the current cultural paradigm of complexity (C. Jenks). We then go on to assess the relationships or implications of said figural mode in architectural works by Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel and Bos, and Siza, verifying their operational worth and revealing their meaning and importance today and in this discipline. The backdrop of the study is the in-between concept of Eisenman’s work and it also uses concepts from the philosophy of the limit of Trías as its main underpinnings. 4. In each of the architectural works presented, this imprecise mode is translated into a specific in-between environment or space. They are works in which real and virtual, matricial and objectual, architecture and territory, existing and new, collective and individual, social and intimate, interior and exterior and other uses and functions all intertwine or blend together. They are architectures the geometry of which is not so much determined by bi- or tri-dimensional aspects of the drawing or construction. Through the manipulation of these more or less complex, dynamic and interstitial geometries, these works reflect (or insinuate) the premises of the current Zeitgeist: A change in the scheme of objects to relationships towards a more holistic, transdisciplinary, systemic or complex thought (E. Morin), and a new collective conscience about the reality which announces the crisis of perception, the change in paradigm and new values (F. Capra). Another way of feeling and perceiving the world, places and spaces, which little by little is changing the way of thinking and drawing architecture and hence of interacting with it. 5. The meaning of figural in-between space emerges in the increasingly complex, morphological-spatial and functional qualities of a large part of architecture today. Architecture, geometry and computer technology are more than ever intertwined in a freer way to inquire into other ways of thinking and making places, where the “in-between” spaces we research are a testimony. Architectural space becomes affective and interactive, a figural in-between place, formed by interstitial spatiality which seems to allude to something liquid, where shape is more matrix than configuration, space more spatiality than compartment, its function more versatile and multi-purpose than specific or autonomous, and perplexity, imagination and evocation criss-cross each other, becoming obvious. 6. The architecture of in-between places values not only “flat”, “configuration” and “transparency”, but above all “space” and the “relationship” in its interrelations with users and other contexts. From identity to relationality, from representation to presentation, it is an architecture that proposes “other spaces”, which more than spaces are topographies and interstitial spatialities, of tension, transition, transformation, relation, exchange and interaction. They are real and virtual in-between places, that take in both morphology and topology to conquer new spatialities, aiming to depart from the strict “forming”/”morphing” operation in order to explore “spacing”. They are places that derive both from Deleuze’s indiscernibility zone concept, from Buci-Glucksmann´s image-flow concept, from Sloterdijk’s suspension-between, and from the non-objective space referred to by José Gil, and they are embodied in contemporary architecture as tropes of the interstitial. 7. They are the in-between places in architecture today, of haptic spatiality, more “affective”, generative and interactive, where that in-between environment transforms and is transformed, “affects”, “moves” (it makes us move/act) and evokes other places, other possibilities of habitable or occupiable space. The in-between emerges as a place, which paradigmatically and declaredly, Eisenman´s monument in Berlin announces and exhibits. RESUMO 1. A investigação centra-se no estudo dos “âmbitos ou espaços intermédios” em momentos da arquitectura contemporânea, no período de transição entre os finais dos anos 80 e os nossos dias. Pretende-se analisar como se apresenta o âmbito intermédio no objecto ou lugar arquitectónico e sua função ou relação com o meio envolvente, desde o projecto até à sua repercussão na experiencia vivenciada. 2. O conceito de intermédio entendido como âmbito ou espaço intersticial, fronteiriço e ambivalente (ou multivalente), atravessa na presente investigação o campo da etimologia, da ciência, do pensamento e da arte, para deter-se na arquitectura actual, realizando-se uma indagação concreta no processo de concepção, na proposta formal, espacial e funcional, assim como na percepção e demais experiencias ou vivencias no lugar arquitectónico. 3. Em primeiro lugar, explora-se o conceito de “intermédio” nas suas características, funções e concretizações na cultura contemporânea, detectando os seus antecedentes culturais mais importantes, para em seguida aplicá-lo reflexivamente a obras significativas de arquitectura. A investigação centra-se na modalidade figural (imprecisa) do intermédio (alusão ao figural deleuziano) cujas metáforas base são o translúcido, a penumbra e a espuma, relacionadas com o actual paradigma da complexidade (C. Jencks). Em seguida analisam-se as relações ou implicações da referida modalidade figural em obras de arquitectos como Eisenman, Holl, Tschumi, Ito, Fujimoto, Van Berkel e Bos, e Siza, como modo de comprovar o seu valor operativo e revelar o seu sentido e importância na actualidade e na disciplina. O estudo tem como referencia o conceito de in-between da obra de Eisenman, e utiliza conceitos da filosofia do limite de Trias como alguns dos seus principais fundamentos. 4. Em cada uma das obras de arquitectura apresentadas esta modalidade imprecisa traduz-se num âmbito ou espaço intermédia figural especifico. São obras nas quais real e virtual, matricial e objectual, arquitectura e território, existente e novo, colectivo e individual, social e intimo, interior e exterior, e outros usos e funções se entrelaçam ou fundem. São arquitecturas cuja geometria já não está tão determinada por aspectos bi ou tridimensionais do desenho ou da construção. Através do uso destas geometrias mais ou menos complexas, dinâmicas e intersticiais, estas obras reflectem (ou intuem) as premissas do actual zeitgeist: uma mudança de esquemas de objectos a relações para um pensamento mais holístico, transdisciplinar, sistémico ou complexo (E. Morin) e uma nova consciência colectiva sobre a realidade, que anuncia a crise da percepção, a mudança de paradigma e novos valores (F. Capra). Emerge uma outra forma de sentir e perceber o mundo, os lugares e os espaços, que gradualmente vai alterando o modo de pensar e desenhar a arquitectura, e consequentemente de interagir com ela. 5. O sentido do espaço intermédio figural, emerge nas cada vez mais complexas qualidades morfológico-espaciais e funcionais de uma parte importante da arquitectura actual. Cada vez mais, arquitectura, geometria e tecnologia informática, relacionam-se de um modo mais livre para indagar outras formas de pensar e fazer lugares, onde os espaços intermédios que investigamos são um testemunho. O espaço arquitectónico torna-se afectivo e interactivo, um lugar intermédio figural, formalizado por espacialidades intersticiais que parecem aludir ao estado liquido, onde a forma é mais matriz que configuração, o espaço mais espacialidade que compartimento, a função mais versátil e multivalente que especifica ou autónoma, e a perplexidade, a imaginação e a evocação entrecruzam-se e tornam-se patentes. 6. A arquitectura dos lugares intermédios valoriza não só o “plano”, a “configuração” e a “transparência”, mas sobretudo o” espaço” e a ”relação” nas suas inter-relações com os utentes e restante contextos. Da identidade à relacionalidade, da representação à apresentação, é uma arquitectura que propõe “outros espaços”, que além de espaços são topografias e espacialidades intersticiais, de tensão, transição, transformação, relação, intercambio e interacção. São lugares intermédios reais e virtuais que utilizam tanto a morfologia como a topologia para conquistar novas espacialidades, pretendendo ultrapassar a estrita operação de “forming”/“morphing”/formação para explorar a de “spacing”/espaçamento. São lugares que se apoiam tanto no conceito de zona de indescernibilidade de Deleuze, como na de imagem-fluxo de Buci-Glucksmann como no de suspensão–entre de Sloterdijk ou de espaço-não objectivo que refere José Gil, e se plasmam na arquitectura contemporânea como tropos do intersticial. 7. São os lugares intermédios da arquitectura actual, de espacialidade háptica, mais “afectiva”, generativa e interactiva, onde esse âmbito intermédio transforma e é transformado, “afecta”, ”co-move “(nos faz mover/agir) e evoca outros lugares, outras possibilidades de espaço habitável ou ocupável. Emerge o intermédio como lugar que, paradigmática e manifestamente, o monumento de Eisenmann em Berlim, anuncia e exibe.

Three distinct domains of SSI-1/SOCS-1/JAB protein are required for its suppression of interleukin 6 signaling

Cytokine-inducible protein SSI-1 [signal transducers and activators of transcription (STAT)-induced STAT inhibitor 1, also referred to as SOCS-1 (suppressor of cytokine signaling 1) or JAB (Janus kinase-binding protein)] negatively regulates cytokine receptor signaling by inhibition of JAK kinases. The SSI family of proteins includes eight members that are structurally characterized by an SH2 domain and a C-terminal conserved region that we have called the SC-motif. In this study, we investigated the roles of these domains in the function of SSI-1. Results of reporter assays demonstrated that the pre-SH2 domain (24 aa in front of the SH2 domain) and the SH2 domain of SSI-1 were required for the suppression by SSI-1 of interleukin 6 signaling. Coexpression studies of COS7 cells revealed that these domains also were required for inhibition of three JAKs (JAK1, JAK2, and TYK2). Furthermore, deletion of the SH2 domain, but not the pre-SH2 domain, resulted in loss of association of SSI-1 with TYK2. Thus, SSI-1 associates with JAK family kinase via its SH2 domain, and the pre-SH2 domain is required for the function of SSI-1. Deletion of the SC-motif markedly reduced expression of SSI-1 protein in M1 cells, and this reduction was reversed by treatment with proteasome inhibitors, suggesting that this motif is required to protect the SSI-1 molecule from proteolytic degradation. Based on these findings, we concluded that three distinct domains of SSI-1 (the pre-SH2 domain, the SH2 domain, and the SC-motif) cooperate in the suppression of interleukin 6 signaling.

Glucose intolerance caused by a defect in the entero-insular axis: A study in gastric inhibitory polypeptide receptor knockout mice

Mice with a targeted mutation of the gastric inhibitory polypeptide (GIP) receptor gene (GIPR) were generated to determine the role of GIP as a mediator of signals from the gut to pancreatic β cells. GIPR−/− mice have higher blood glucose levels with impaired initial insulin response after oral glucose load. Although blood glucose levels after meal ingestion are not increased by high-fat diet in GIPR+/+ mice because of compensatory higher insulin secretion, they are significantly increased in GIPR−/− mice because of the lack of such enhancement. Accordingly, early insulin secretion mediated by GIP determines glucose tolerance after oral glucose load in vivo, and because GIP plays an important role in the compensatory enhancement of insulin secretion produced by a high insulin demand, a defect in this entero-insular axis may contribute to the pathogenesis of diabetes.

Tyrosine-phosphorylated Caveolin-1: Immunolocalization and Molecular Characterization

Caveolin-1 was discovered as a major substrate for v-Src, but the effect of its tyrosine phosphorylation has not been known. We generated a specific antibody (PY14) to caveolin-1 phosphorylated at tyrosine 14 and studied the significance of the modification. By Western blotting of lysates of v-Src–expressing cells, PY14 recognized not only a 22-kDa band (the position of nonphosphorylated caveolin-1) but bands at 23–24 and 25 kDa. Bands of slower mobility were diminished by dephosphorylation and were also observed for mutant caveolin-1 lacking tyrosine 14. By immunofluorescence microscopy, PY14 did not label normal cells but detected large dots in v-Src–expressing cells. Immunoelectron microscopy revealed that the dots corresponded to aggregated caveolae and/or vesicles of various sizes; besides, the label was observed in intramembrane particle-free areas in the plasma membrane, which appeared to have been formed by fusion of flattened caveolae. A positive reaction with PY14 was found in normal cells after vanadate or pervanadate treatment; it occurred mainly at 22 kDa by Western blotting and was not seen as large dots by immunofluorescence microscopy. Detergent solubility, oligomerization, and association with caveolin-2 were observed similarly for caveolin-1 in normal and v-Src–expressing cells. The results indicate that phosphorylation of caveolin-1 in v-Src–expressing cells occurs at multiple residues and induces flattening, aggregation, and fusion of caveolae and/or caveolae-derived vesicles.

Signals transducers and activators of transcription (STAT)-induced STAT inhibitor-1 (SSI-1)/suppressor of cytokine signaling-1 (SOCS-1) suppresses tumor necrosis factor α-induced cell death in fibroblasts

Signal transducers and activators of transcription (STAT)-induced STAT inhibitor-1 [SSI-1; also known as suppressor of cytokine signaling-1 (SOCS-1)] was identified as a negative feedback regulator of Janus kinase-STAT signaling. We previously generated mice lacking the SSI-1 gene (SSI-1 −/−) and showed that thymocytes and splenocytes in SSI-1 −/− mice underwent accelerated apoptosis. In this paper, we show that murine embryonic fibroblasts lacking the SSI-1 gene are more sensitive than their littermate controls to tumor necrosis factor-α (TNF-α)-induced cell death. In addition, L929 cells forced to express SSI-1 (L929/SSI-1), but not SSI-3 or SOCS-5, are resistant to TNF-α-induced cell death. Furthermore L929/SSI-1 cells treated with TNF-α sustain the activation of p38 mitogen-activated protein (MAP) kinase. In contrast, SSI-1 −/− murine embryonic fibroblasts treated with TNF-α show hardly any activation of p38 MAP kinase. These findings suggest that SSI-1 suppresses TNF-α-induced cell death, which is mediated by p38 MAP kinase signaling.

Suppressor T cells regulate the nonanergic cell population that remains after peripheral tolerance is induced to the Mls-1 antigen in T cell receptor Vβ8.1 transgenic mice

We have found suppressor T cells that inhibit the proliferative response of naive CD4+ T cells in T cell receptor (TCR) Vβ8.1 transgenic mice rendered tolerant in vivo by inoculation of Mls-1a-positive cells. This suppression was mediated by CD4+ T cells but not by CD8+ T cells or double-negative (DN) cells, and splenic CD4+ T cells from tolerant mice displayed a greater suppression than lymph node CD4+ T cells. Cell contact was required for efficient suppression, and known inhibitory cytokines such as IL-4, IL-10, and transforming growth factor β were not involved. Suppressor T cells inhibited IL-2 production by naive CD4+ T cells, and the addition of exogenous IL-2 diminished the suppressed activity while having little activity on tolerant T cells. Suppression was abolished by the elimination of CD25+ T cells in the tolerant CD4+ T cell subset. CD25+CD4+ T cells suppressed the proliferative response of the residual fraction of the nonanergic population, namely, 6C10+CD4+ T cells still present in the tolerant mice. However, 6C10−CD4+ T cells still had reduced reactivity to Mls-1a even after CD25+CD4+ T cells were removed and exogenous IL-2 was added. Suppressor cells appear to affect only residual nonanergic cells in situ, thereby facilitating the maintenance of the unresponsive state in vivo. These data provide a framework for understanding suppressor T cells and explain the difficulties and variables in defining their activity in other systems, because suppressor T cells apparently control only a small population of nonanergic cells in the periphery and may be viewed as a homeostatic mechanism.

Regulation of the pAD1 sex pheromone response of Enterococcus faecalis by direct interaction between the cAD1 peptide mating signal and the negatively regulating, DNA-binding TraA protein

The Enterococcus faecalis conjugative plasmid pAD1 (60 kb) encodes a mating response to the recipient-produced peptide sex pheromone cAD1. The response involves two key plasmid-encoded regulatory proteins: TraE1, which positively regulates all or most structural genes relating to conjugation, and TraA, which binds DNA and negatively regulates expression of traE1. In vitro studies that included development of a DNA-associated protein-tag affinity chromatography technique showed that TraA (37.9 kDa) binds directly to cAD1 near its carboxyl-terminal end and, as a consequence, loses its affinity for DNA. Analyses of genetically modified TraA proteins indicated that truncations within the carboxyl-terminal 9 residues significantly affected the specificity of peptide-directed association/dissociation of DNA. The data support earlier observations that transposon insertions near the 3′ end of traA eliminated the ability of cells to respond to cAD1.

Accelerated apoptosis of lymphocytes by augmented induction of Bax in SSI-1 (STAT-induced STAT inhibitor-1) deficient mice

Growth, differentiation, and programmed cell death (apoptosis) are mainly controlled by cytokines. The Janus kinase–signal transducers and activators of transcription (JAK-STAT) signal pathway is an important component of cytokine signaling. We have previously shown that STAT3 induces a molecule designated as SSI-1, which inhibits STAT3 functions. To clarify the physiological roles of SSI-1 in vivo, we generated, here, mice lacking SSI-1. These SSI-1−/− mice displayed growth retardation and died within 3 weeks after birth. Lymphocytes in the thymus and spleen of the SSI-1−/− mice exhibited accelerated apoptosis with aging, and their number was 20–25% of that in SSI-1+/+ mice at 10 days of age. However, the differentiation of lymphocytes lacking SSI-1 appeared to be normal. Among various pro- and anti-apoptotic molecules examined, an up-regulation of Bax was found in lymphocytes of the spleen and thymus of SSI-1−/− mice. These findings suggest that SSI-1 prevents apoptosis by inhibiting the expression of Bax.

Commitment to natural killer cells requires the helix–loop–helix inhibitor Id2

We have previously described how T and natural killer (NK) lineage commitment proceeds from common T/NK progenitors (p-T/NK) in the murine fetal thymus (FT), with the use of a clonal assay system capable of discriminating p-T/NK from unipotent T or NK lineage-committed progenitors (p-T and p-NK, respectively). The molecular mechanisms controlling the commitment processes, however, are yet to be defined. In this study, we investigated the progenitor activity of FT cells from Id2−/− mice that exhibit defective NK cell development. In the Id2−/− FT, NK cells were greatly reduced, and a cell population that exclusively contains p-NK in the wild-type thymus was completely missing. Id2−/− FT progenitors were unable to differentiate into NK cells in IL-2-supplemented-FT organ culture. Single progenitor analysis demonstrated that all Id2−/− fetal thymic progenitors are destined for the T cell lineage, whereas progenitors for T/NK, T, and NK cell lineages were found in the control. Interestingly, the total progenitor number was similar between Id2−/− and Id2+/+ embryos analyzed. Expression of Id2 was correlated with p-NK activity. Our results suggest that Id2 is indispensable in thymic NK cell development, where it most probably restricts bipotent T/NK progenitors to the NK cell lineage.

Crystal structure of an anticoagulant protein in complex with the Gla domain of factor X

The γ-carboxyglutamic acid (Gla) domain of blood coagulation factors is responsible for Ca2+-dependent phospholipid membrane binding. Factor X-binding protein (X-bp), an anticoagulant protein from snake venom, specifically binds to the Gla domain of factor X. The crystal structure of X-bp in complex with the Gla domain peptide of factor X at 2.3-Å resolution showed that the anticoagulation is based on the fact that two patches of the Gla domain essential for membrane binding are buried in the complex formation. The Gla domain thus is expected to be a new target of anticoagulant drugs, and X-bp provides a basis for designing them. This structure also provides a membrane-bound model of factor X.

Characterization of the transforming activity of p80, a hyperphosphorylated protein in a Ki-1 lymphoma cell line with chromosomal translocation t(2;5).

We have molecularly cloned a cDNA encoding a protein uniquely expressed and hyperphosphorylated at tyrosine residues in a Ki-1 lymphoma cell that contained chromosomal translocation t(2;5). The encoded protein p80 was shown to be generated by fusion of a protein-tyrosine kinase and a nucleolar protein B23/nucleophosmin (NPM). The coding sequence of this cDNA turned out to be virtually identical to that of the fusion cDNA for NPM-anaplastic lymphoma kinase (ALK) previously cloned from the transcript of the gene at the breakpoint of the same translocation. Overexpression of p80 in NIH 3T3 cells induced neoplastic transformation, suggesting that the p80 kinase is aberrantly activated. The normal form of p80 was predicted to be a receptor-type tyrosine kinase on the basis of its sequence similarity to the insulin receptor family of kinases. However, an immunofluorescence study using COS cells revealed that p80 was localized to the cytoplasm. Thus, subcellular translocation and activation of the tyrosine kinase presumably by its structural alteration would cause the malignant transformation. We also showed that a mutant p80 lacking the NPM portion was unable to transform NIH 3T3 cells. Thus, the NPM sequence is essential for the transforming activity, suggesting that the chromosomal translocation is responsible for the oncogenesis. Finally, Shc and insulin receptor substrate 1 (IRS-1) were tyrosine-phosphorylated and bound to p80 in p80-transformed cells. However, mutants of p80 that were defective for binding to and phosphorylation of Shc and insulin receptor substrate 1 could transform NIH 3T3 cells. Association of these mutants with GRB2 was still observed, suggesting that interaction of p80 with GRB2 but not with Shc or IRS-1 was relevant for cell transformation.