Saturating Ultrafilters on N. - D. H. Fremlin; Peter Nyikos (J. Symb. Log., 1989)

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

Special ultrafilters and cofinal subsets of (ømega ømega , <*). - Peter Nyikos (Arch. Math. Log., 2020)

Locally compact, ω1-compact spaces. - Peter Nyikos; Lyubomyr Zdomskyy (Ann. Pure Appl. Log., 2024)