A Ramsey class for Steiner systems.

We construct a Ramsey class whose objects are Steiner systems. In contrast to the situation with general r-uniform hypergraphs, it turns out that simply putting linear orders on their sets of vertices is not enough for this purpose: one also has to strengthen the notion of subobjects used from “induced subsystems” to something we call “strongly induced subsystems”.