CiteExport$(function(){PrimeFaces.cw("TieredMenu","widget_formSmash_upper_j_idt809",{id:"formSmash:upper:j_idt809",widgetVar:"widget_formSmash_upper_j_idt809",autoDisplay:true,overlay:true,my:"left top",at:"left bottom",trigger:"formSmash:upper:exportLink",triggerEvent:"click"});}); $(function(){PrimeFaces.cw("OverlayPanel","widget_formSmash_upper_j_idt810_j_idt812",{id:"formSmash:upper:j_idt810:j_idt812",widgetVar:"widget_formSmash_upper_j_idt810_j_idt812",target:"formSmash:upper:j_idt810: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();
}
}
PrimeFaces.cw("AccordionPanel","widget_formSmash_responsibleOrgs",{id:"formSmash:responsibleOrgs",widgetVar:"widget_formSmash_responsibleOrgs",multiple:true}); 2011 (English)Doctoral thesis, comprehensive summary (Other academic)
##### Abstract [en]

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

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

Uppsala Dissertations in Mathematics, ISSN 1401-2049 ; 71
##### Keyword [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: 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_idt1095",{id:"formSmash:j_idt1095",widgetVar:"widget_formSmash_j_idt1095",multiple:true});
##### Supervisors

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

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt1107",{id:"formSmash:j_idt1107",widgetVar:"widget_formSmash_j_idt1107",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_idt1143:0:j_idt1147",widgetVar:"overlay412411",target:"formSmash:j_idt1143: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_idt1143:1:j_idt1147",widgetVar:"overlay412412",target:"formSmash:j_idt1143: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_idt1143:2:j_idt1147",widgetVar:"overlay412413",target:"formSmash:j_idt1143: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_idt1143:3:j_idt1147",widgetVar:"overlay412414",target:"formSmash:j_idt1143:3:partsLink",showEvent:"mousedown",hideEvent:"mousedown",showEffect:"blind",hideEffect:"fade",appendToBody:true});});

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