1. The complete finitely axiomatized theories of order are dense;Amit;Israel J. Math.,1976
2. The elementary theory of wellordering – a metamathematical study;Doner,1978
3. Decidability of the theory of linear ordering relation;Ehrenfeucht;AMS Notices,1959
4. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1960
5. T. Green, Properties of Chain Products and Ehrenfeucht–Fras¨sé Games on Chains, M.Sci. Thesis, University of Saskatchewan, 2002.