"Diamond at Mahlo Cardinals."

Martin Zeman (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics