Chi Tat Chong Meeting of the Association for Symbolic Logic: Singapore 1981. 893-897 1983 48 J. Symb. Log. 3 db/journals/jsyml/jsyml48.html#Chong83a