Sökning: "Erik Palmgren"

Visar resultat 1 - 5 av 10 avhandlingar innehållade orden Erik Palmgren.

  1. 1. Lichenes Scaniae, quorum enumerationem inchoatam venia ampliss. fac. philosoph. Ups., praeside Elia Fries ... p. p. Ericus Gustavus Palmgren Uplando-Roslagus. In audit. Gustav. d. XVIII Maji MDCCCXXXVI. H. a. m. s., Topograph. stirp. Scanic. part. XVIII

    Författare :Elias Fries; Erik Gustaf Palmgren; Elias Fries; Uppsala universitet; []
    Nyckelord :;

    Sammanfattning : .... LÄS MER

  3. 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 :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

  4. 3. Exact completion and type-theoretic structures

    Författare :Jacopo Emmenegger; Erik Palmgren; Alexander Berglund; Maria Emilia Maietti; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; exact completion; type theory; setoid; weak limits; cartesian closure; inductive types; Mathematics; matematik;

    Sammanfattning : This thesis consists of four papers and is a contribution to the study of representations of extensional properties in intensional type theories using, mainly, the language and tools from category theory. Our main focus is on exact completions of categories with weak finite limits as a category-theoretic description of the setoid construction in Martin-Löf's intensional type theory. LÄS MER

  5. 4. Achieving completeness: from constructive set theory to large cardinals

    Författare :Christian Espíndola; Erik Palmgren; Benno van den Berg; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Mathematics; matematik;

    Sammanfattning : This thesis is an exploration of several completeness phenomena, both in the constructive and the classical settings. After some introductory chapters in the first part of the thesis where we outline the background used later on, the constructive part contains a categorical formulation of several constructive completeness theorems available in the literature, but presented here in an unified framework. LÄS MER

  7. 5. Reference and Computation in Intuitionistic Type Theory

    Författare :Johan G Granström; Erik Palmgren; Per Martin-Löf; Peter Dybjer; Uppsala universitet; []
    Nyckelord :mathematical logic; intuitionism; type theory; foundations of mathematics;

    Sammanfattning : Three topics, namely, computer science, philosophical logic, and mathematics, meet in intuitionistic type theory, which thus simultaneously is a programming language, a philosophy of language, and a foundation of mathematics. The present thesis compares, relates, and equates two concepts, one from philosophical logic and one from computer science, viz. LÄS MER