"The Galvin-Prikry Theorem and Set Existence Axioms."

Kazuyuki Tanaki (1989)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics