Sökning: "Algebra and Logic"

Visar resultat 1 - 5 av 117 avhandlingar innehållade orden Algebra and Logic.

  1. 1. To infinity and back : Logical limit laws and almost sure theories

    Författare :Ove Ahlman; Vera Koponen; Kerkko Luosto; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; finite model theory; almost sure theories; rigid structures; limit laws; Mathematical Logic; Matematisk logik;

    Sammanfattning : .... LÄS MER

  3. 2. N-complexes and Categorification

    Författare :Djalal Mirmohades; Volodymyr Mazorchuk; Steffen Oppermann; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Homological algebra; Category theory; Triangulated categories; K-theory; Hopfological algebra; Mathematics; Matematik;

    Sammanfattning : This thesis consists of three papers about N-complexes and their uses in categorification. N-complexes are generalizations of chain complexes having a differential d satisfying dN = 0 rather than d2 = 0. Categorification is the process of finding a higher category analog of a given mathematical structure. LÄS MER

  4. 3. Representation theorems for abelian and model categories

    Författare :Anna Giulia Montaruli; Peter LeFanu Lumsdaine; Gregory Arone; Marek Zawadowski; Stockholms universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Category Theory; Logic; Algebra; Homotopy Theory; matematik; Mathematics;

    Sammanfattning : In this PhD thesis we investigate a representation theorem for small abelian categories and a representation theorem for left proper, enriched model categories, with the purpose of describing them concretely in terms of specific well-known categories.For the abelian case, we study the constructivity issues of the Freyd-Mitchell Embedding Theorem, which states the existence of a full embedding from a small abelian category into the category of modules over an appropriate ring. LÄS MER

  5. 4. Effective Domains and Admissible Domain Representations

    Författare :Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; domain theory; admissible domain representation; cartesian closure; effective domains; κ-sequential space; limit space; Matematisk logik; Mathematics; Matematik; Mathematical logic;

    Sammanfattning : This thesis consists of four papers in domain theory and a summary. The first two papers deal with the problem of defining effectivity for continuous cpos. LÄS MER

  7. 5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION

    Författare :Mona Noori-Hosseini; Chalmers tekniska högskola; []
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Temporal logic; Anonymity; Opacity; Discrete event systems.; Automation; Formal verification; Fault diagnosability; Incremental abstraction;

    Sammanfattning : Dynamical systems can be classified into two groups. One group is continuoustime systems that describe the physical system behavior, and therefore are typically modeled by differential equations. The other group is discrete event systems (DES)s that represent the sequential and logical behavior of a system. LÄS MER