Annals of Mathematical Logic (Association for Symbolic Logic, 1970)