Bibliography
MSC 03E45, Inner models, including constructibility, ordinal definability, and core models.
1. Groszek, Marcia J. and Slaman, Theodore A. (1998). A basis theorem for perfect sets. Bull. Symbolic Logic 4 No.2, 204--209. [pdf] [MR] [GS][MRef]