Search for dissertations about: "Algebra and Logic"
Showing result 1 - 5 of 115 swedish dissertations containing the words Algebra and Logic.
-
1. To infinity and back : Logical limit laws and almost sure theories
Abstract : .... READ MORE
-
2. N-complexes and Categorification
Abstract : 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. READ MORE
-
3. Representation theorems for abelian and model categories
Abstract : 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. READ MORE
-
4. Effective Domains and Admissible Domain Representations
Abstract : 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. READ MORE
-
5. INCREMENTAL FAULT DIAGNOSABILITY AND SECURITY/PRIVACY VERIFICATION
Abstract : 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. READ MORE