The elementary theory of free Steiner triple systems

Free Steiner triple systems (STS) are infinite structures that are naturally characterised by a universal property. We consider the class of free STSs from a model theoretic viewpoint. We show that free STSs on any number of generators are elementarily equivalent. We axiomatise their theory and show that it is stable.