Sökning: "Peter Benno"

Hittade 2 avhandlingar innehållade orden Peter Benno.

  1. 1. Biochemical parameters reflecting the intestinal ecology of healthy adults and alterations of these parameters in patients with ulcerative colitis or rheumatoid arthritis

    Författare :Peter Benno; Karolinska Institutet; Karolinska Institutet; []
    Nyckelord :Microflora-associated characteristics; cholesterol; coprostanol; urobilins; faecal tryptic activity; ulcerative colitis; rheumatoid arthritis; sulphasalazine;

    Sammanfattning : The gastrointestinal microflora, the largest single collection of cells in the body, influence their human host in a variety of ways. Useful in this connection is the concept of Microflora-Associated Characteristics (MACs), which are defined as any anatomical structure or physiological, biochemical or immunological function in the host that is affected by the microflora. LÄS MER

  2. 2. Localic Categories of Models and Categorical Aspects of Intuitionistic Ramified Type Theory

    Författare :Johan Lindberg; Erik Palmgren; Peter LeFanu Lumsdaine; Henrik Forssell; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURAL SCIENCES; NATURVETENSKAP; NATURVETENSKAP; NATURAL SCIENCES; Topos theory; predicative topos theory; ramified type theory; type theory; localic groupoids; Mathematics; matematik;

    Sammanfattning : This thesis contains three papers, all in the general area of categorical logic, together with an introductory part with some minor results and proofs of known results which does not appear to be (easily) available in the literature.In Papers I and II we investigate the formal system Intuitionistic Ramified Type Theory (IRTT), introduced by Erik Palmgren, as an approach to predicative topos theory. LÄS MER