1. Baumgartner, J.E.: Applications of the proper forcing axiom. In: Kunen, K., Vaughn, J.E. (eds.) Handbook of set theoretic topology. Amsterdam: North Holland, 1984
2. Devlin, K.J.: A Yorkshireman's guide to proper forcing. Proc. 1978 Cambridge Summer School in Set Theory
3. Goltz, H.J.: Untersuchungen zur Elimination verallgemeinerter Quantoren in Körpertheorien. Wiss. Z. Humboldt-Univ. Math.-Naturwiss. Reihe29, 391–397 (1980)
4. Kunen, K.: Set theory. Amsterdam: North-Holland, 1980
5. Luzin, N.: Sur un problème de M. Baire. C. R. Hebdomadaires Séances Acad. Sci. Paris158, 1258–1261, (1914)