Martin Davis's first collection