The Bulletin ok Symbolic Logic Volume 6. Number I. March 2000