Completeness properties designed for recognizing Baire spaces [Book] Aarts J. M., Lutzer D. J. (1974)