We study a class of 0-categorical simple structures such that every M in 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 independent. The SU-rank of such M may be n for any natural number n>0. The most well-known unstable member of is the random graph, which has SU-rank one. The main result is that for every strongly independent structure M (...) in , if a sentence φ is true in M then φ is true in a finite substructure of M. The same conclusion holds for every structure in 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 if and only if it is 0-categorical, 0-stable and every definable strictly minimal subset of is indiscernible. (shrink)

Let V be a finite relational vocabulary in which no symbol has arity greater than 2. Let be countable V‐structure which is homogeneous, simple and 1‐based. The first main result says that if is, in addition, primitive, then it is strongly interpretable in a random structure. The second main result, which generalizes the first, implies (without the assumption on primitivity) that if is “coordinatized” by a set with SU‐rank 1 and there is no definable (without parameters) nontrivial equivalence relation on (...) M with only finite classes, then is strongly interpretable in a random structure. (shrink)

We study finite ℓ‐colourable structures with an underlying pregeometry. The probability measure that is used corresponds to a process of generating such structures by which colours are first randomly assigned to all 1‐dimensional subspaces and then relationships are assigned in such a way that the colouring conditions are satisfied but apart from this in a random way. We can then ask what the probability is that the resulting structure, where we now forget the specific colouring of the generating process, has (...) a given property. With this measure we get the following results: (1) A zero‐one law. (2) The set of sentences with asymptotic probability 1 has an explicit axiomatisation which is presented. (3) There is a formula (not directly speaking about colours) such that, with asymptotic probability 1, the relation “there is an ℓ‐colouring which assigns the same colour to x and y” is defined by. (4) With asymptotic probability 1, an ℓ‐colourable structure has a unique ℓ‐colouring (up to permutation of the colours). (shrink)