uu.seUppsala University Publications

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

Asymptotic probabilities of extension properties and random l-colourable structuresPrimeFaces.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}); 2012 (English)In: Annals of Pure and Applied Logic, ISSN 0168-0072, E-ISSN 1873-2461, Vol. 163, no 4, 391-438 p.Article in journal (Refereed) Published
##### Abstract [en]

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

Elsevier, 2012. Vol. 163, no 4, 391-438 p.
##### National Category

Mathematics
##### Research subject

Mathematics; Mathematical Logic
##### Identifiers

URN: urn:nbn:se:uu:diva-167333DOI: 10.1016/j.apal.2011.12.001ISI: 000300863400001OAI: oai:DiVA.org:uu-167333DiVA: diva2:483647
#####

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

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

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt446",{id:"formSmash:j_idt446",widgetVar:"widget_formSmash_j_idt446",multiple:true});
Available from: 2012-01-25 Created: 2012-01-25 Last updated: 2017-12-08Bibliographically approved

We consider a set of *finite* structures such that all members of have the same universe, the cardinality of which approaches *∞* as *n*→*∞*. Each structure in may have a nontrivial underlying pregeometry and on each we consider a probability measure, either the uniform measure, or what we call the *dimension conditional measure*. The main questions are: What conditions imply that for every extension axiom *φ*, compatible with the defining properties of , the probability that *φ* is true in a member of approaches 1 as *n*→*∞*? And what conditions imply that this is not the case, possibly in the strong sense that the mentioned probability approaches 0 for some *φ*?

If each is the set of structures with universe {1,…,*n*}, in a fixed relational language, in which certain “forbidden” structures cannot be weakly embedded and has the disjoint amalgamation property, then there is a condition (concerning the set of forbidden structures) which, if we consider the uniform measure, gives a dichotomy; i.e., the condition holds if and only if the answer to the first question is ‘yes’. In general, we do not obtain a dichotomy, but we do obtain a condition guaranteeing that the answer is ‘yes’ for the first question, as well as condition guaranteeing that the answer is ‘no’; and we give examples showing that in the gap between these conditions the answer may be either ‘yes’ or ‘no’. This analysis is made for both the uniform measure and for the dimension conditional measure. The later measure has a closer relation to random generation of structures and is more “generous” with respect to satisfiability of extension axioms.

Random *l*-colour*ed* structures fall naturally into the framework discussed so far, but random *l*-colour*able* structures need further considerations. It is not the case that every extension axiom compatible with the class of *l*-colourable structures almost surely holds in an *l*-colourable structure. But a more restricted set of extension axioms turns out to hold almost surely, which allows us to prove a zero–one law for random *l*-colourable structures, using a probability measure which is derived from the dimension conditional measure, and, after further combinatorial considerations, also for the uniform probability measure.

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

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