Khomskii, Y. D. (2012). Regularity properties and definability in the real number continuum: idealized forcing, polarized partitions, Hausdorff gaps and mad families in the projective hierarchy. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.