Meeting of the Association for Symbolic Logic
scientific article; zbMATH DE number 3910363