"Steel forcing and barwise compactness."

Sy D. Friedman (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics