Hyperclass forcing in Morse-Kelley class theory - Antos, Carolin; Friedman, Sy-David (My University, 2017)
Keywords: 510