The elementary theory of free Steiner triple systems
Free Steiner triple systems (STSs) 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 sho...
| Autores: | , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2026 |
| País: | España |
| Institución: | Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya) |
| Repositorio: | Recercat. Dipósit de la Recerca de Catalunya |
| OAI Identifier: | oai:dnet:recercat____::befb71473238d25155eb210162be1c64 |
| Acceso en línea: | https://hdl.handle.net/2445/228722 |
| Access Level: | acceso abierto |
| Palabra clave: | Combinatòria (Matemàtica) Teoria de models Lògica matemàtica Combinations Model theory Mathematical logic |
| Sumario: | Free Steiner triple systems (STSs) 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. |
|---|