Title of article :
The finite submodel property and -categorical expansions of pregeometries
Author/Authors :
Djordjevi?، نويسنده , , Marko، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
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
Journal title :
Annals of Pure and Applied Logic