Solomon Feferman Set-theoretical Invariance Criteria for Logicality. 3-20 2010 51 Notre Dame J. Formal Log. 1 https://doi.org/10.1215/00294527-2010-002 db/journals/ndjfl/ndjfl51.html#Feferman10