The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication)
Alexander Schrijver · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1976
Logical axioms on disjoint transversals of two set systems and on linked systems in Boolean algebra are introduced; furthermore their dependence from usual logical axioms (Boolean prime ideal theorem and Order extension principle) is discussed.Finally a combinatorial characterization of two graphs with disjoint transversals is given.