Sökning: "Viggo Stoltenberg-Hansen"
Hittade 5 avhandlingar innehållade orden Viggo Stoltenberg-Hansen.
1. Effective Distribution Theory
Sammanfattning : In this thesis we introduce and study a notion of effectivity (or computability) for test functions and for distributions. This is done using the theory of effective (Scott-Ershov) domains and effective domain representations. LÄS MER
2. Ultrasheaves
Sammanfattning : 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. LÄS MER
3. Effective Domains and Admissible Domain Representations
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
4. Contributions to Pointfree Topology and Apartness Spaces
Sammanfattning : The work in this thesis contains some contributions to constructive point-free topology and the theory of apartness spaces. The first two papers deal with constructive domain theory using formal topology. LÄS MER
5. On Constructive Sets and Partial Structures
Sammanfattning : 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. LÄS MER