Title of article
The finite submodel property and -categorical expansions of pregeometries
Author/Authors
Djordjevi?، نويسنده , , Marko، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2006
Pages
29
From page
201
To page
229
Abstract
We prove, by a probabilistic argument, that a class of ω -categorical structures, on which algebraic closure defines a pregeometry, has the finite submodel property. This class includes any expansion of a pure set or of a vector space, projective space or affine space over a finite field such that the new relations are sufficiently independent of each other and over the original structure. In particular, the random graph belongs to this class, since it is a sufficiently independent expansion of an infinite set, with no structure. The class also contains structures for which the pregeometry given by algebraic closure is non-trivial.
Keywords
Random structure , Model theory , Finite submodel property , Pregeometry
Journal title
Annals of Pure and Applied Logic
Serial Year
2006
Journal title
Annals of Pure and Applied Logic
Record number
1443746
Link To Document