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.
The elementary theory of free Steiner triple systems
Barbina, Silvia
;
2026-01-01
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


