1. Totally categorical theories of modular type;Ahlbrandt;Ph.D. Thesis,1984
2. ℵ0-categorical, ℵ0-stable theories;Cherlin;Annals Pure Appl. Logic,1985
3. Ordering by divisibility in abstract algebra;Higman;Proc. London Math. Soc.,1952
4. T. Coquand, Unpublished result
5. G. Martin, Ph.D. Thesis, New Brunswick (forthcoming).