George Boolos Vann McGee The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation. 165-171 1987 52 J. Symb. Log. 1 db/journals/jsyml/jsyml52.html#BoolosM87