2005–06 Winter Meeting of the Association for Symbolic Logic
scientific article