"Compactness, interpolation and Friedman's third problem."

Daniele Mundici (1982)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics