Search for dissertations about: "Equivalence theorem"

Showing result 6 - 10 of 14 swedish dissertations containing the words Equivalence theorem.

  2. 6. Fibrations and Idempotent Functors

    Author : Martin Blomgren; Wojciech Chachólski; Carles Broto; KTH; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : This thesis consists of two articles. Both articles concern homotopical algebra. In Paper I we study functors indexed by a small category into a model category whose value at each morphism is a weak equivalence. We show that the category of such functors can be understood as a certain mapping space. READ MORE

  4. 7. Digital lines, Sturmian words, and continued fractions

    Author : Hanna Uscka-Wehlou; Christer Oscar Kiselman; Maciej Klimek; Gunilla Borgefors; Mikael Passare; Damien Jamet; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; digital geometry; digital line; hierarchy of runs; combinatorics on words; Sturmian word; upper mechanical word; characteristic word; irrational slope; continued fraction; Gauss map; fixed point; Discrete mathematics; Diskret matematik; matematik; Mathematics;

    Abstract : In this thesis we present and solve selected problems arising from digital geometry and combinatorics on words. We consider digital straight lines and, equivalently, upper mechanical words with positive irrational slopes a... READ MORE

  5. 8. Essays on stochastic fiscal policy, public debt and private consumption

    Author : Torbjörn Becker; Handelshögskolan i Stockholm; []
    Keywords : SAMHÄLLSVETENSKAP; SOCIAL SCIENCES;

    Abstract : This dissertation consists of five separate essays (and a short introductory chapter) that analyze the effects of debt policy on private consumption. Essay 1: Government Debt and Private Consumption: Theory and Evidence. The Ricardian equivalence theorem has been widely debated since (at least) the seventies. READ MORE

  6. 9. On Constructive Sets and Partial Structures

    Author : Olov Wilander; Erik Palmgren; Viggo Stoltenberg-Hansen; Bas Spitters; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical Logic; Matematisk logik;

    Abstract : The first three papers in this thesis study the formalisation of a set in type theory as a data type with an equivalence relation – an object usually known as a setoid. The corresponding formalisation of a locally small category is called an E-category. READ MORE

  7. 10. Complexity Dichotomies for CSP-related Problems

    Author : Gustav Nordh; Peter Jonsson; Andrei Krokhin; Linköpings universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Complexity; Constraint Satisfaction Problem; System of Equations; Nonmonotonic Logic; Circumscription; Abduction; Isomorphism; Computer science; Datavetenskap;

    Abstract : Ladner’s theorem states that if P ≠ NP, then there are problems in NP that are neither in P nor NP-complete. Csp(Γ) is a class of problems containing many well-studied combinatorial problems in NP. READ MORE