On the Equivalence of Certain Consequences of the Proper Forcing Axiom. - Peter Nyikos; Leszek Piatkiewicz (J. Symb. Log., 1995)