Six papers in logic (American Mathematical Society: Translations : 2. ser., 1987)