Meeting of the Association for Symbolic Logic, Indianapolis, 1986
scientific article