"D1-definability in set theory" - читать интересную книгу автора (Takahashi M.)