W. Powell

The new world information order

W. Powell, 1982 .

A completeness theorem for Zermelo-Fraenkel set theory

W. Powell, 1976, Journal of Symbolic Logic.

Standard models of set theory with predication

T. Jech, W. Powell, 1971 .