uu.seUppsala University Publications

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

Stability theory in finite variable logicPrimeFaces.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}); 2000 (English)Doctoral thesis, comprehensive summary (Other academic)
##### Abstract [en]

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

Uppsala: Acta Universitatis Upsaliensis, 2000. , 60 p.
##### Series

Uppsala Dissertations in Mathematics, ISSN 1401-2049 ; 16
##### Keyword [en]

Mathematics
##### Keyword [sv]

MATEMATIK
##### National Category

Mathematics
##### Research subject

Mathematics
##### Identifiers

URN: urn:nbn:se:uu:diva-1212ISBN: 91-506-1417-7 (print)OAI: oai:DiVA.org:uu-1212DiVA: diva2:160769
##### Public defence

2000-09-20, Rum 247, Polacksbacken, Uppsala, 13:15
#####

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

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

PrimeFaces.cw("AccordionPanel","widget_formSmash_j_idt729",{id:"formSmash:j_idt729",widgetVar:"widget_formSmash_j_idt729",multiple:true});
Available from: 2000-08-30 Created: 2000-08-30 Last updated: 2012-04-20Bibliographically approved

This thesis studies finite variable theories. To be more precise. complete *L**n *-theories, where *L**n* is the set of formulas in a first order language *L* in which at most *n *distinct variables occur. These need not be complete in the usual first order sense. We use ideas from infinite model theory, in particular stability theory, to define a class of complete *L**n* -theories which, as we show, has a tractable model theory, also with respect to finite models.

The three main properties of such theories that we consider are (1) a finite bound on the number of *L**n* -types, (2) an amalgamation property and (3) stability. We prove that any complete *L**n* -theory with an infinite model and with properties (l),(2) and (3) has an infinite model *M *which is ω-categorical and ω-stable from which it follows that it has arbitrarily large finite models. In fact, *M* almost admits elimination of quantifiers, in the sense that there exists an expansion of *M* by finitely many new *n*-ary relation symbols which admits elimination of quantifiers. This together with the stability of *M* allows us to obtain finer information about complete *L**n* -theories with properties (1)-(3).

We show that there exists a recursive function f : ω^{2 } → ω such that every theory *T* as above has a finite model of size at most f(n, |S^{n}_{n}(T)|), where S^{n}_{n}(T) is the set of *L**n* -types of T in *n* free variables.

Then we derive some results about forking in stable structures where there exists *n* < ω such that any type (with any number of free variables) over ω is determined by its subtypes with at most n free variables. We use this to give a different proof of a result due to Lachlan. saying that in a stable structure which almost admits elimination of quantifiers every strictly minimal set is indiscernible.

Finally. using the theory of stable structures which admit elimination of quantifiers, we show how to construct new (finite and infinite) models of *L**n* -theories *T* with an infinite model and properties (l)-(3). Moreover, every sufficiently saturated model of *T* which is *L**n* -elementarily embeddable in a stable structure which almost admits elimination of quantifiers can be constructed in this way and the amount of saturation that is needed can be effectively computed from |S^{n}_{n}(T)|.

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

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