Support Structures for the Axiom of Choice. - David Pincus (J. Symb. Log., 1971)

Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods. - David Pincus (J. Symb. Log., 1972)

Meeting of the Association for Symbolic Logic Seattle 1973. - Anne C. Morel; Ronald Harrop; Miriam Lucian; David Pincus (J. Symb. Log., 1974)

Definability of Measures and Ultrafilters. - David Pincus; Robert Solovay (J. Symb. Log., 1977)

The Dense Linear Ordering Principle. - David Pincus (J. Symb. Log., 1997)