中文

自由Steiner三角系统的初等理论

逻辑 2026-02-25 v2

摘要

自由Steiner三角系统(STS)是具有自然普遍属性的无限结构。我们从模型论视角考察自由STS的类。我们证明,任意数量生成器上的自由STS在初等等价上。我们对其理论进行公理化,并证明其是稳定的。

关键词

引用

@article{arxiv.2411.13723,
  title  = {The elementary theory of free Steiner triple systems},
  author = {Silvia Barbina and Enrique Casanovas},
  journal= {arXiv preprint arXiv:2411.13723},
  year   = {2026}
}