@Article{ cit:zimmermann2010HauSmu, title = "Der Hauptsatz der Smullyanmengen", author = "Zimmermann, Alexander", journal = "Kriterion -- Journal of Philosophy", pages = "24--43", volume = "23", number = "1", year = "2010", issn = "10198288", }