Search for dissertations about: "matematisk logik"

Showing result 16 - 20 of 24 swedish dissertations containing the words matematisk logik.

  2. 16. Ultrapowers as sheaves on a category of ultrafilters

    Author : Jonas Eliasson; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical logic; Matematisk logik;

    Abstract : .... READ MORE

  4. 17. Ultrasheaves

    Author : Jonas Eliasson; Viggo Stoltenberg-Hansen; Steve Awodey; Carsten Butz; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Logic; symbolic and mathematical; 03G30; 03C20; 03H05; Matematisk logik; Mathematical logic; Matematisk logik;

    Abstract : This thesis treats ultrasheaves, sheaves on the category of ultrafilters. In the classical theory of ultrapowers, you start with an ultrafilter and, given a structure, you construct the ultrapower of the structure over the ultrafilter. READ MORE

  5. 18. An enquiry concerning categories of effective continuous cpos

    Author : Göran Hamrin; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical logic; Matematisk logik;

    Abstract : .... READ MORE

  6. 19. Effective Domains and Admissible Domain Representations

    Author : Göran Hamrin; Viggo Stoltenberg-Hansen; Erik Palmgren; Dieter Spreen; Uppsala universitet; []
    Keywords : 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;

    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

  7. 20. A random formula lower bound for ordered DLL extended with local symmetry recognition

    Author : Olof Lindroth; Uppsala universitet; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; Mathematical logic; Matematisk logik;

    Abstract : .... READ MORE