Can anyone on the list help me by providing a reference for a result mentioned in someone's earlier posting, by Cherlis, Harrington and one other author, on finite axiomatizability and categoricity? Neil Tennant