uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Independence and the finite submodel property
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Mathematics, Mathematical Logic.
2009 (English)In: Annals of Pure and Applied Logic, ISSN 0168-0072, E-ISSN 1873-2461, Vol. 158, no 1-2, 58-79 p.Article in journal (Refereed) Published
Abstract [en]

We study a class c of aleph(0)-categorical simple structures such that every M in c has uncomplicated forking behavior and such that definable relations in M which do not cause forking are independent in a sense that is made precise; we call structures in c independent. The SU-rank of such M may be n for any natural number n > 0. The most well-known unstable member of c is the random graph, which has SU-rank one. The main result is that for every strongly independent structure M in e, if a sentence phi is true in M then phi is true in a finite substructure of M. The same conclusion holds for every structure in c with SU-rank one: so in this case the word 'strongly' can be removed. A probability theoretic argument is involved and it requires sufficient independence between relations which do not cause forking. A stable structure M belongs to c if and only if it is aleph(0)-categorical, aleph(0)-stable and every definable strictly minimal Subset of M-eq is indiscernible.


Place, publisher, year, edition, pages
Elsevier , 2009. Vol. 158, no 1-2, 58-79 p.
Keyword [en]
model theory, independence, finite submodel property, random structure
National Category
Research subject
Mathematical Logic
URN: urn:nbn:se:uu:diva-119671DOI: 10.1016/j.apal.2008.10.004ISI: 000264661900004OAI: oai:DiVA.org:uu-119671DiVA: diva2:300630
Available from: 2010-02-26 Created: 2010-02-26 Last updated: 2013-05-17Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Koponen, Vera
By organisation
Mathematical Logic
In the same journal
Annals of Pure and Applied Logic

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 196 hits
ReferencesLink to record
Permanent link

Direct link