Strongly Minimal Steiner Systems I: Existence

21 Jan 2020 Baldwin John Paolini Gianluca

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 \geq 2$) is a linear space such that each line has size exactly $k$. Clearly, as a two-sorted structure, no linear space can be strongly minimal... (read more)

PDF Abstract
No code implementations yet. Submit your code now

Categories


  • LOGIC