2014 Winter meeting of the Association for Symbolic Logic, Marriott Philadelphia Downtown, Philadelphia, Pennsylvania, December 28--30, 2014
scientific article; zbMATH DE number 6558678