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)

We define the interpolative fusion T∪∗ of a family i∈I of first-order theories over a common reduct T∩, a notion that generalizes many examples of random or generic structures in the model-theo...

In connection with the work of Anscombe, Macpherson, Steinhorn and the present author in [1] we investigate the notion of a multidimensional exact class (R-mec), a special kind of multidimensional asymptotic class (R-mac) with measuring functions that yield the exact sizes of definable sets, not just approximations. We use results about smooth approximation [24] and Lie coordinatization [13] to prove the following result (Theorem 4.6.4), as conjectured by Macpherson: For any countable language$\mathcal {L}$and any positive integerdthe class$\mathcal {C}(\mathcal {L},d)$of all (...) finite$\mathcal {L}$-structures with at mostd4-types is a polynomial exact class in$\mathcal {L}$, where a polynomial exact class is a multidimensional exact class with polynomial measuring functions. (shrink)

By a celebrated theorem of Morley, a theory T is ℵ1‐categorical if and only if it is κ‐categorical for all uncountable κ. In this paper we are taking the first steps towards extending Morley's categoricity theorem “to the finite”. In more detail, we are presenting conditions, implying that certain finite subsets of certain ℵ1‐categorical T have at most one n‐element model for each natural number (counting up to isomorphism, of course).

Hrushovski constructed an -categorical stable pseudoplane which refuted Lachlan's conjecture. In this note, we show that an -categorical projective plane cannot be constructed by "the Hrushovski method.".

We attempt to formulate issues around modularity and Zilber’s trichotomy in a setting that intersects additive combinatorics. In particular, we update the open problems on quasi-finite structures from [9].

We study the Vapnik–Chervonenkis density of definable families in certain stable first-order theories. In particular, we obtain uniform bounds on the VC density of definable families in finite $\mathrm {U}$-rank theories without the finite cover property, and we characterize those abelian groups for which there exist uniform bounds on the VC density of definable families.

We generalize the result of non-finite axiomatizability of totally categorical first-order theories from elementary model theory to homogeneous model theory. In particular, we lift the theory of envelopes to homogeneous model theory and develope theory of imaginaries in the case of ω-stable homogeneous classes of finite U-rank.