Equivalent versions of a weak form of the axiom of choice. - Gary P. Shannon (Notre Dame J. Formal Log., 1988)

Provable Forms of Martin's Axiom. - Gary P. Shannon (Notre Dame J. Formal Log., 1990)

A note on some weak forms of the axiom of choise. - Gary P. Shannon (Notre Dame J. Formal Log., 1992)

Hermitian Products of Hermitian Matrices: 11028. - Götz Trenkler; Gary P. Shannon (Am. Math. Mon., 2005)