In this article we construct uncountably many new homogeneous locally finite Steiner triple systems of countably infinite order as Fra"{\i}ss'{e} limits of classes of finite Steiner triple systems avoiding certain subsystems. The construction relies on a new embedding result: any finite partial Steiner triple system has an embedding into a finite Steiner triple system that contains no nontrivial proper subsystems that are not subsystems of the original partial system. Fra"{\i}ss'e’s construction and its variants are rich sources of examples that are central to model-theoretic classification theory, and recently infinite Steiner systems obtained via Fra"{\i}ss'e-type constructions have received attention from the model theory community.

生成讲解博客的中文版本

生成AI智能校验的中文版本