Strongly Minimal Steiner Systems I: Existence

John Baldwin, Gianluca Paolini

A linear space is a system of points and lines such that any two distinct points determine a unique line; a Steiner $k$-system (for $k\ge 2$) is a linear space such that each lin…