2009 North American Annual Meeting of the Association for Symbolic Logic
scientific article; zbMATH DE number 5654343