The elementary theory of free Steiner triple systems

Silvia Barbina,Enrique Casanovas
2024-11-21
Abstract: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.
Logic
What problem does this paper attempt to address?