Isomorphisms between HEO and HROE, ECF and ICFE. - Bezem, Marc (Journal of Symbolic Logic, 1985)