The dependence of some logical axioms on disjoint transversals and linked systems : (prepublication)

Logical axioms on disjoint transversals of two set systems and on linked systems in Boolean algebra are introduced; furthermore their de pendence 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.