60 research outputs found

    Profil des systèmes alimentaires – République Démocratique du Congo. Activer la transformation durable et inclusive de nos systèmes alimentaires

    Get PDF
    Ce document, intitulé Profil des systèmes alimentaires, présente en une dizaine de pages un condensé des problématiques principales des systèmes alimentaires de la République Démocratique du Congo, et des solutions possibles pour les rendre plus durables et inclusifs. Le résultat d'une analyse systémique et d'une consultation de tous les acteurs des systèmes, il entre dans le cadre d'une évaluation appuyée par l'Union européenne, la FAO et le CIRAD dans 50 pays

    CETP Inhibition: Past Failures and Future Hopes

    No full text

    New proofs of the consistency of the normal Moore space conjecture II

    Get PDF
    AbstractThis article continues our first paper on this topic. In this article we first continue our review of the technique of iterated forcing and reflection by describing the machinery developed for reflection from a weakly compact cardinal. Next we present more applications of the technique to show conditions under which nonmetrizability, nonparacompactness, or nondevelopability reflect. In the final section we present yet another proof of the normal Moore space conjecture which avoids elementary embeddings by using filter combinatorics and provides a quick path to the solution for those less interested in generally applicable techniques

    New proofs of the consistency of the normal moore space conjecture I

    Get PDF
    AbstractThe normal Moore space conjecture asserts that normal Moore spaces are metrizable. Nyikos has proven the consistency (from the existence of a strongly compact cardinal) of the conjecture holding and Fleissner has proven that at least a measurable cardinal is needed to prove the consistency. Although extremely elegant, Nyikos' proof relies on Kunen's proof of the consistency of the product measure extension axiom and does not lend itself to other applications. In this paper we first present the groundwork for iterated forcing and reflection type proofs from the assumption of a supercompact cardinal. We then use this technology to give a proof of the normal Moore space conjecture as well as several other similar results which use a variation of the proof
    corecore