Search for dissertations about: "matematisk logik"
Showing result 16 - 20 of 24 swedish dissertations containing the words matematisk logik.
-
16. Ultrapowers as sheaves on a category of ultrafilters
Abstract : .... READ MORE
-
17. Ultrasheaves
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
-
18. An enquiry concerning categories of effective continuous cpos
Abstract : .... READ MORE
-
19. 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
-
20. A random formula lower bound for ordered DLL extended with local symmetry recognition
Abstract : .... READ MORE