1987c (with Vann McGee), "The degree of the set of sentences of predicate provability logic that are true under every interpretation," "Journal of Symbolic Logic 52": 165-171.