uu.seUppsala University Publications

CiteExport$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_upper_j_idt150",{id:"formSmash:upper:j_idt150",widgetVar:"widget_formSmash_upper_j_idt150",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:upper:exportLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt151_j_idt153",{id:"formSmash:upper:j_idt151:j_idt153",widgetVar:"widget_formSmash_upper_j_idt151_j_idt153",target:"formSmash:upper:j_idt151:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});

Contributions to Pointfree Topology and Apartness SpacesPrimeFaces.cw("AccordionPanel","widget_formSmash_some",{id:"formSmash:some",widgetVar:"widget_formSmash_some",multiple:true}); PrimeFaces.cw("AccordionPanel","widget_formSmash_all",{id:"formSmash:all",widgetVar:"widget_formSmash_all",multiple:true});
function selectAll()
{
var panelSome = $(PrimeFaces.escapeClientId("formSmash:some"));
var panelAll = $(PrimeFaces.escapeClientId("formSmash:all"));
panelAll.toggle();
toggleList(panelSome.get(0).childNodes, panelAll);
toggleList(panelAll.get(0).childNodes, panelAll);
}
/*Toggling the list of authorPanel nodes according to the toggling of the closeable second panel */
function toggleList(childList, panel)
{
var panelWasOpen = (panel.get(0).style.display == 'none');
// console.log('panel was open ' + panelWasOpen);
for (var c = 0; c < childList.length; c++) {
if (childList[c].classList.contains('authorPanel')) {
clickNode(panelWasOpen, childList[c]);
}
}
}
/*nodes have styleClass ui-corner-top if they are expanded and ui-corner-all if they are collapsed */
function clickNode(collapse, child)
{
if (collapse && child.classList.contains('ui-corner-top')) {
// console.log('collapse');
child.click();
}
if (!collapse && child.classList.contains('ui-corner-all')) {
// console.log('expand');
child.click();
}
}
2011 (English)Doctoral thesis, comprehensive summary (Other academic)
##### Abstract [en]

##### Place, publisher, year, edition, pages

Uppsala: Department of Mathematics , 2011. , p. 40
##### Series

Uppsala Dissertations in Mathematics, ISSN 1401-2049 ; 71
##### Keywords [en]

Constructive mathematics, General topology, Pointfree topology, Domain theory, Interval analysis, Apartness spaces
##### National Category

Algebra and Logic
##### Research subject

Mathematical Logic
##### Identifiers

URN: urn:nbn:se:uu:diva-152068ISBN: 978-91-506-2219-5 (print)OAI: oai:DiVA.org:uu-152068DiVA, id: diva2:412415
##### Public defence

2011-06-08, Häggsalen, Ångströmlaboratoriet, Lägerhyddsvägen 1, Uppsala, 10:15 (English)
##### Opponent

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt440",{id:"formSmash:j_idt440",widgetVar:"widget_formSmash_j_idt440",multiple:true});
##### Supervisors

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt446",{id:"formSmash:j_idt446",widgetVar:"widget_formSmash_j_idt446",multiple:true});
#####

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt452",{id:"formSmash:j_idt452",widgetVar:"widget_formSmash_j_idt452",multiple:true}); Available from: 2011-05-17 Created: 2011-04-23 Last updated: 2011-06-14Bibliographically approved
##### List of papers

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. In Paper I we focus on the notion of a domain representation of a formal space as a way to introduce generalized points of the represented space, whereas we in Paper II give a constructive and point-free treatment of the domain theoretic approach to differential calculus. The last two papers are of a slightly different nature but still concern constructive topology. In paper III we consider a measure theoretic covering theorem from various constructive angles in both point-set and point-free topology. We prove a point-free version of the theorem. In Paper IV we deal with issues of impredicativity in the theory of apartness spaces. We introduce a notion of set-presented apartness relation which enables a predicative treatment of basic constructions of point-set apartness spaces.

1. Local Scott compactification$(function(){PrimeFaces.cw("OverlayPanel","overlay412411",{id:"formSmash:j_idt501:0:j_idt505",widgetVar:"overlay412411",target:"formSmash:j_idt501:0:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

2. The domain theoretic derivative in formal topology$(function(){PrimeFaces.cw("OverlayPanel","overlay412412",{id:"formSmash:j_idt501:1:j_idt505",widgetVar:"overlay412412",target:"formSmash:j_idt501:1:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

3. The Vitali covering theorem in constructive mathematics$(function(){PrimeFaces.cw("OverlayPanel","overlay412413",{id:"formSmash:j_idt501:2:j_idt505",widgetVar:"overlay412413",target:"formSmash:j_idt501:2:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

4. Towards set-presentable apartness spaces$(function(){PrimeFaces.cw("OverlayPanel","overlay412414",{id:"formSmash:j_idt501:3:j_idt505",widgetVar:"overlay412414",target:"formSmash:j_idt501:3:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

isbn
urn-nbn$(function(){PrimeFaces.cw("Tooltip","widget_formSmash_j_idt1164",{id:"formSmash:j_idt1164",widgetVar:"widget_formSmash_j_idt1164",showEffect:"fade",hideEffect:"fade",showDelay:500,hideDelay:300,target:"formSmash:altmetricDiv"});});

CiteExport$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_lower_j_idt1220",{id:"formSmash:lower:j_idt1220",widgetVar:"widget_formSmash_lower_j_idt1220",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:lower:exportLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_lower_j_idt1221_j_idt1223",{id:"formSmash:lower:j_idt1221:j_idt1223",widgetVar:"widget_formSmash_lower_j_idt1221_j_idt1223",target:"formSmash:lower:j_idt1221:permLink",showEffect:"blind",hideEffect:"fade",my:"right top",at:"right bottom",showCloseIcon:true});});