Witnessing differences without redundancies

Parlamento, Franco; Policriti, Alberto; Rao, K.

doi:10.1090/S0002-9939-97-03630-7

Witnessing differences without redundancies
HTML articles powered by AMS MathViewer

by Franco Parlamento, Alberto Policriti and K. P. S. B. Rao PDF

Proc. Amer. Math. Soc. 125 (1997), 587-594 Request permission

Abstract:

We show that $n-1$ elements suffice to witness the differences of $n$ pairwise distinct sets, and provide sufficient conditions for an infinite family of pairwise distinct sets to have a minimal collection of elements witnessing the differences between any two of its members.

References

Béla Bollobás, Combinatorics, Cambridge University Press, Cambridge, 1986. Set systems, hypergraphs, families of vectors and combinatorial probability. MR 866142
J. A. Bondy, Induced subsets, J. Combinatorial Theory Ser. B 12 (1972), 201–202. MR 319773, DOI 10.1016/0095-8956(72)90025-1
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo, Computable set theory. Vol. 1, International Series of Monographs on Computer Science, vol. 6, The Clarendon Press, Oxford University Press, New York, 1989. With a foreword by Jacob T. Schwartz; Oxford Science Publications. MR 1060733
Franco Parlamento and Alberto Policriti, The logically simplest form of the infinity axiom, Proc. Amer. Math. Soc. 103 (1988), no. 1, 274–276. MR 938682, DOI 10.1090/S0002-9939-1988-0938682-2
Franco Parlamento and Alberto Policriti, Note on: “The logically simplest form of the infinity axiom” [Proc. Amer. Math. Soc. 103 (1988), no. 1, 274–276; MR0938682 (89h:03086)], Proc. Amer. Math. Soc. 108 (1990), no. 1, 285–286. MR 993751, DOI 10.1090/S0002-9939-1990-0993751-5
Franco Parlamento and Alberto Policriti, The decision problem for restricted universal quantifications in set theory and the axiom of foundation, Z. Math. Logik Grundlag. Math. 38 (1992), no. 2, 143–156. MR 1254415, DOI 10.1002/malq.19920380110