THE ELEMENTARY THEORY OF FREE STEINER TRIPLE SYSTEMS

Journal of Symbolic Logic 2026 Open access

Read full text
Authors: Silvia Barbina, Enrique Casanovas
DOI: 10.1017/jsl.2026.10188
Cited by: 0
References: 29

Abstract

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

Fields of Study & Subjects

Mathematics and Applications Computability Logic AI Algorithms Advanced Differential Equations and Dynamical Systems

Publication details

Journal / source
Journal of Symbolic Logic
Publisher
Cambridge University Press (CUP)
Pages
1–26
Publication date
18 February 2026
Language
EN