Model theory of Steiner triple systems

Abstract: A Steiner triple system is a set

S

together with a collection

m a t h c a l B

of subsets of

S

of size 3 such that any two elements of

S

belong to exactly one element of

m a t h c a l B

. It is well known that the class of finite Steiner triple systems has a Fra"{i}ss'e limit

M_{m a t h r m F}

. Here we show that the theory

T^{a} s t_{m} a t h r m S q

of

M_{m a t h r m F}

is the model completion of the theory of Steiner triple systems. We also prove that

T^{a} s t_{m} a t h r m S q

is not small and it has quantifier elimination,

m a t h r m {T P}_{2}

,

m a t h r m {N S O P}_{1}

, elimination of hyperimaginaries and weak elimination of imaginaries.

Recommendations

Cites Work

Cited In (6)

This page was built for publication: Model theory of Steiner triple systems