Key points are not available for this paper at this time.
For a given fixed poset P we say that a family of subsets of n is P-saturated if it does not contain an induced copy of P, but whenever we add to it a new set, an induced copy of P is formed. The size of the smallest such family is denoted by sat∗(n, P). For the diamond poset D2 (the two-dimensional Boolean lattice), Martin, Smith and Walker proved that ≤ sat∗(n, D2) ≤ n + 1. In this paper we prove that sat∗(n, D2) ≥ (−o(1)) . We also explore the properties that a diamond-saturated family of size c , for a constant c, would have to have.
Maria‐Romina Ivan (Thu,) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: