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...

Descripción completa

Detalles Bibliográficos
Autores: Barbina, Silvia, Casanovas Ruiz-Fornells, Enrique
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
id ES_ef350e6ca32a71e7482dcb3ce920d0de
oai_identifier_str oai:dnet:recercat____::befb71473238d25155eb210162be1c64
network_acronym_str ES
network_name_str España
repository_id_str
spelling The elementary theory of free Steiner triple systemsBarbina, SilviaCasanovas Ruiz-Fornells, EnriqueCombinatòria (Matemàtica)Teoria de modelsLògica matemàticaCombinationsModel theoryMathematical logicFree 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.Association for Symbolic Logic.2026202620262026info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersion26 p.application/pdfhttps://hdl.handle.net/2445/228722https://hdl.handle.net/2445/228722Articles publicats en revistes (Matemàtiques i Informàtica)reponame:Recercat. Dipósit de la Recerca de Catalunyainstname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)InglésReproducció del document publicat a: https://doi.org/10.1017/jsl.2026.10188Journal of Symbolic Logic, 2026https://doi.org/10.1017/jsl.2026.10188(c) Barbina, Silvia, et al., 2026info:eu-repo/semantics/openAccessoai:dnet:recercat____::befb71473238d25155eb210162be1c642026-05-29T05:05:01Z
dc.title.none.fl_str_mv The elementary theory of free Steiner triple systems
title The elementary theory of free Steiner triple systems
spellingShingle The elementary theory of free Steiner triple systems
Barbina, Silvia
Combinatòria (Matemàtica)
Teoria de models
Lògica matemàtica
Combinations
Model theory
Mathematical logic
title_short The elementary theory of free Steiner triple systems
title_full The elementary theory of free Steiner triple systems
title_fullStr The elementary theory of free Steiner triple systems
title_full_unstemmed The elementary theory of free Steiner triple systems
title_sort The elementary theory of free Steiner triple systems
dc.creator.none.fl_str_mv Barbina, Silvia
Casanovas Ruiz-Fornells, Enrique
author Barbina, Silvia
author_facet Barbina, Silvia
Casanovas Ruiz-Fornells, Enrique
author_role author
author2 Casanovas Ruiz-Fornells, Enrique
author2_role author
dc.subject.none.fl_str_mv Combinatòria (Matemàtica)
Teoria de models
Lògica matemàtica
Combinations
Model theory
Mathematical logic
topic Combinatòria (Matemàtica)
Teoria de models
Lògica matemàtica
Combinations
Model theory
Mathematical logic
description 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.
publishDate 2026
dc.date.none.fl_str_mv 2026
2026
2026
2026
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv https://hdl.handle.net/2445/228722
https://hdl.handle.net/2445/228722
url https://hdl.handle.net/2445/228722
dc.language.none.fl_str_mv Inglés
language_invalid_str_mv Inglés
dc.relation.none.fl_str_mv Reproducció del document publicat a: https://doi.org/10.1017/jsl.2026.10188
Journal of Symbolic Logic, 2026
https://doi.org/10.1017/jsl.2026.10188
dc.rights.none.fl_str_mv (c) Barbina, Silvia, et al., 2026
info:eu-repo/semantics/openAccess
rights_invalid_str_mv (c) Barbina, Silvia, et al., 2026
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 26 p.
application/pdf
dc.publisher.none.fl_str_mv Association for Symbolic Logic.
publisher.none.fl_str_mv Association for Symbolic Logic.
dc.source.none.fl_str_mv Articles publicats en revistes (Matemàtiques i Informàtica)
reponame:Recercat. Dipósit de la Recerca de Catalunya
instname:Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
instname_str Varias* (Consorci de Biblioteques Universitáries de Catalunya, Centre de Serveis Científics i Acadèmics de Catalunya)
reponame_str Recercat. Dipósit de la Recerca de Catalunya
collection Recercat. Dipósit de la Recerca de Catalunya
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1869423841590116352
score 15,811543

Similares en LA Referencia