2024/11/20 by SILVIA BARBINA, Barbina, Silvia, ENRIQUE CASANOVAS +1
#03C15 #03C65 #05B07 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2411.13723
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.