"Determinacy in the Mitchell models."

John R. Steel (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics