Sources: Schindler's Set Theory, Jech's Set Theory, Kechris' Classical Descriptive Set Theory, This ArXiv paper by Crone, Fishman, Jackson, Schuerger, and Simmons