A system to enrich for primitive streak-derivatives, definitive endoderm and mesoderm, from pluripotent cells in culture

Two lineages of endoderm develop during mammalian embryogenesis, the primitive endoderm in the pre-implantation blastocyst and the definitive endoderm at gastrulation. This complexity of endoderm cell populations is mirrored during pluripotent cell differentiation in vitro and has hindered the identification and purification of the definitive endoderm for use as a substrate for further differentiation. The aggregation and differentiation of early primitive ectoderm-like (EPL) cells, resulting in the formation of EPL-cell derived embryoid bodies (EPLEBs), is a model of gastrulation that progresses through the sequential formation of primitive streak-like intermediates to nascent mesoderm and more differentiated mesoderm populations. EPL cell-derived EBs have been further analysed for the formation of definitive endoderm by detailed morphological studies, gene expression and a protein uptake assay. In comparison to embryoid bodies derived from ES cells, which form primitive and definitive endoderm, the endoderm compartment of embryoid bodies formed from EPL cells was comprised almost exclusively of definitive endoderm. Definitive endoderm was defined as a population of squamous cells that expressed Sox17, CXCR4 and Trh, which formed without the prior formation of primitive endoderm and was unable to endocytose horseradish peroxidase from the medium. Definitive endoderm formed in EPLEBs provides a substrate for further differentiation into specific endoderm lineages; these lineages can be used as research tools for understanding the mechanisms controlling lineage establishment and the nature of the transient intermediates formed. The similarity between mouse EPL cells and human ES cells suggests EPLEBs can be used as a model system for the development of technologies to enrich for the formation of human ES cell-derived definitive endoderm in the future.Sveltana Vassilieva, Hweee Ngee Goh, Kevin X. Lau, James N. Hughes, Mary Familari, Peter D. Rathjen and Joy Rathje

Formation of a primitive ectoderm like cell population, EPL cells, from ES cells in response to biologically derived factors

The primitive ectoderm of the mouse embryo arises from the inner cell mass between 4.75 and 5.25 days post coitum, around the time of implantation. Positioned at a pivotal time in development, just prior to formation of the three germ layers of the embryo proper, the primitive ectoderm responds directly to the signals generated during gastrulation. We have identified a conditioned medium, MEDII, which caused the homogeneous conversion of ES cells to a morphologically distinct cell population, termed early primitive ectoderm-like (EPL) cells. EPL cells expressed the pluripotent cell markers Oct4, SSEA1 and alkaline phosphatase. However, the formation of EPL cells was accompanied by alterations in Fgf5, Gbx2 and Rex1 expression, a loss in chimaera forming ability, changes in factor responsiveness and modified differentiation capabilities, all consistent with the identification of EPL cells as equivalent to the primitive ectoderm population of the 5.5 to 6.0 days post coitum embryo. EPL cell formation could be reversed in the presence of LIF and withdrawal of MEDII, which suggested that EPL cell formation was not a terminal differentiation event but reflected the ability of pluripotent cells to adopt distinct cell states in response to specific factors. Partial purification of MEDII revealed the presence of two separable biological activities, both of which were required for the induction and maintenance of EPL cells. We show here the first demonstration of uniform differentiation of ES cells in response to biological factors. The formation of primitive ectoderm, both in vivo and in vitro, appears to be an obligatory step in the differentiation of the inner cell mass or ES cells into cell lineages of the embryonic germ layers. EPL cells potentially represent a model for the development of lineage specific differentiation protocols and analysis of gastrulation at a molecular level. An understanding of the active components of MEDII may provide a route for the identification of factors which induce primitive ectoderm formation in vivo.Joy Rathjen, Julie-Anne Lake, Michael D. Bettess, Jenny M. Washington, Gavin Chapman and Peter D. Rathje

Manipulation of Cell:Cell Contacts and Mesoderm Suppressing Activity Direct Lineage Choice from Pluripotent Primitive Ectoderm-Like Cells in Culture

In the mammal, the pluripotent cells of embryo differentiate and commit to either the mesoderm/endoderm lineages or the ectoderm lineage during gastrulation. In culture, the ability to direct lineage choice from pluripotent cells into the mesoderm/endoderm or ectoderm lineages will enable the development of technologies for the formation of highly enriched or homogenous populations of cells. Here we show that manipulation of cell:cell contact and a mesoderm suppressing activity in culture affects the outcome of pluripotent cell differentiation and when both variables are manipulated appropriately they can direct differentiation to either the mesoderm or ectoderm lineage. The disruption of cell:cell contacts and removal of a mesoderm suppressor activity results in the differentiation of pluripotent, primitive ectoderm-like cells to the mesoderm lineage, while maintenance of cell:cell contacts and inclusion, within the culture medium, of a mesoderm suppressing activity results in the formation of near homogenous populations of ectoderm. Understanding the contribution of these variables in lineage choice provides a framework for the development of directed differentiation protocols that result in the formation of specific cell populations from pluripotent cells in culture

Transwells with Microstamped Membranes Produce Micropatterned Two-Dimensional and Three-Dimensional Co-Cultures

This article describes a simple and rapid cell patterning method to form co-culture microarrays in commercially available Transwells. A thin poly(dimethylsiloxane) (PDMS) layer is printed on the underside of a Transwell using a PDMS stamp. Arbitrary cellular patterns are generated according to the geometric features of the thin PDMS layer through hydrodynamic forces that guide cells onto the membrane only over the PDMS-uncoated regions. Micropatterns of surface-adhered cells (we refer to this as two-dimensional) or non-surface-adhered clusters of cells (we refer to this as three-dimensional) can be generated depending on the surface treatment of the filter membrane. Additionally, co-cultures can be established by introducing different types of cells on the membrane or in the bottom chamber of the Transwell. We show that this co-culture method can evaluate mouse embryonic stem (mES) cell differentiation based on heterogeneous cell-cell interactions. Co-culture of mES cells and HepG2 cells decreased SOX17 expression of mES cells, and direct cell-cell contact further decreased SOX17 expression, indicating that co-culture with HepG2 cells inhibits endoderm differentiation through soluble factors and cell-cell contact. This method is simple and user-friendly and should be broadly useful to study cell shapes and cell-cell interactions.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/90499/1/ten-2Etec-2E2010-2E0305.pd

A new foundational crisis in mathematics, is it really happening?

The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the foundation of mathematics. By examining the mathematical facts behind HoTT and their relation with the existing foundations, we conclude that the present crisis is not one. We reiterate a pluralist vision of the foundations of mathematics. The article contains a short survey of the mathematical and historical background needed to understand the main tenets of the foundational issues.Comment: Final versio

A draft genome sequence and functional screen reveals the repertoire of type III secreted proteins of Pseudomonas syringae pathovar tabaci 11528

<p>Abstract</p> <p>Background</p> <p><it>Pseudomonas syringae </it>is a widespread bacterial pathogen that causes disease on a broad range of economically important plant species. Pathogenicity of <it>P. syringae </it>strains is dependent on the type III secretion system, which secretes a suite of up to about thirty virulence 'effector' proteins into the host cytoplasm where they subvert the eukaryotic cell physiology and disrupt host defences. <it>P. syringae </it>pathovar <it>tabaci </it>naturally causes disease on wild tobacco, the model member of the Solanaceae, a family that includes many crop species as well as on soybean.</p> <p>Results</p> <p>We used the 'next-generation' Illumina sequencing platform and the Velvet short-read assembly program to generate a 145X deep 6,077,921 nucleotide draft genome sequence for <it>P. syringae </it>pathovar <it>tabaci </it>strain 11528. From our draft assembly, we predicted 5,300 potential genes encoding proteins of at least 100 amino acids long, of which 303 (5.72%) had no significant sequence similarity to those encoded by the three previously fully sequenced <it>P. syringae </it>genomes. Of the core set of Hrp Outer Proteins that are conserved in three previously fully sequenced <it>P. syringae </it>strains, most were also conserved in strain 11528, including AvrE1, HopAH2, HopAJ2, HopAK1, HopAN1, HopI, HopJ1, HopX1, HrpK1 and HrpW1. However, the <it>hrpZ1 </it>gene is partially deleted and <it>hopAF1 </it>is completely absent in 11528. The draft genome of strain 11528 also encodes close homologues of HopO1, HopT1, HopAH1, HopR1, HopV1, HopAG1, HopAS1, HopAE1, HopAR1, HopF1, and HopW1 and a degenerate HopM1'. Using a functional screen, we confirmed that <it>hopO1, hopT1, hopAH1</it>, <it>hopM1'</it>, <it>hopAE1</it>, <it>hopAR1</it>, and <it>hopAI1' </it>are part of the virulence-associated HrpL regulon, though the <it>hopAI1' </it>and <it>hopM1' </it>sequences were degenerate with premature stop codons. We also discovered two additional HrpL-regulated effector candidates and an HrpL-regulated distant homologue of <it>avrPto1</it>.</p> <p>Conclusion</p> <p>The draft genome sequence facilitates the continued development of <it>P. syringae </it>pathovar <it>tabaci </it>on wild tobacco as an attractive model system for studying bacterial disease on plants. The catalogue of effectors sheds further light on the evolution of pathogenicity and host-specificity as well as providing a set of molecular tools for the study of plant defence mechanisms. We also discovered several large genomic regions in <it>Pta </it>11528 that do not share detectable nucleotide sequence similarity with previously sequenced <it>Pseudomonas </it>genomes. These regions may include horizontally acquired islands that possibly contribute to pathogenicity or epiphytic fitness of <it>Pta </it>11528.</p

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

The tomato Prf complex is a molecular trap for bacterial effectors based on Pto transphosphorylation

The bacteria Pseudomonas syringae is a pathogen of many crop species and one of the model pathogens for studying plant and bacterial arms race coevolution. In the current model, plants perceive bacteria pathogens via plasma membrane receptors, and recognition leads to the activation of general defenses. In turn, bacteria inject proteins called effectors into the plant cell to prevent the activation of immune responses. AvrPto and AvrPtoB are two such proteins that inhibit multiple plant kinases. The tomato plant has reacted to these effectors by the evolution of a cytoplasmic resistance complex. This complex is compromised of two proteins, Prf and Pto kinase, and is capable of recognizing the effector proteins. How the Pto kinase is able to avoid inhibition by the effector proteins is currently unknown. Our data shows how the tomato plant utilizes dimerization of resistance proteins to gain advantage over the faster evolving bacterial pathogen. Here we illustrate that oligomerisation of Prf brings into proximity two Pto kinases allowing them to avoid inhibition by the effectors by transphosphorylation and to activate immune responses

On Relating Theories: Proof-Theoretical Reduction

The notion of proof-theoretical or finitistic reduction of one theory to another has a long tradition. Feferman and Sieg (Buchholz et al., Iterated inductive definitions and subsystems of analysis. Springer, Berlin, 1981, Chap. 1) and Feferman in (J Symbol Logic 53:364–384, 1988) made first steps to delineate it in more formal terms. The first goal of this paper is to corroborate their view that this notion has the greatest explanatory reach and is superior to others, especially in the context of foundational theories, i.e., theories devised for the purpose of formalizing and presenting various chunks of mathematics. A second goal is to address a certain puzzlement that was expressed in Feferman’s title of his Clermont-Ferrand lectures at the Logic Colloquium 1994: “How is it that finitary proof theory became infinitary?” Hilbert’s aim was to use proof theory as a tool in his finitary consistency program to eliminate the actual infinite in mathematics from proofs of real statements. Beginning in the 1950s, however, proof theory began to employ infinitary methods. Infinitary rules and concepts, such as ordinals, entered the stage. In general, the more that such infinitary methods were employed, the farther did proof theory depart from its initial aims and methods, and the closer did it come instead to ongoing developments in recursion theory, particularly as generalized to admissible sets; in both one makes use of analogues of regular cardinals, as well as “large” cardinals (inaccessible, Mahlo, etc.). (Feferman 1994). The current paper aims to explain how these infinitary tools, despite appearances to the contrary, can be formalized in an intuitionistic theory that is finitistically reducible to (actually Π02 -conservative over) intuitionistic first order arithmetic, also known as Heyting arithmetic. Thus we have a beautiful example of Hilbert’s program at work, exemplifying the Hilbertian goal of moving from the ideal to the real by eliminating ideal elements